4190 search results - page 190 / 838 » Type Class Directives |
104
click to vote
JFP
2008
15 years 4 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
173
Voted
TOPLAS
2002
15 years 3 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
127
click to vote
ACL
2011
14 years 7 months ago
2011
We present an NLP system that classifies the assertion type of medical problems in clinical notes used for the Fourth i2b2/VA Challenge. Our classifier uses a variety of linguisti...
148
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
116
click to vote
FLAIRS
2008
15 years 6 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...