1828 search results - page 117 / 366 » First-Class Type Classes |
128
click to vote
JFP
2008
15 years 6 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...
216
click to vote
TOPLAS
2002
15 years 5 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...
206
click to vote
PAMI
2012
13 years 8 months ago
2012
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
177
click to vote
COORDINATION
2004
Springer
15 years 11 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...
144
click to vote
FLAIRS
2008
15 years 8 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...