4190 search results - page 15 / 838 » Type Class Directives |
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
FLOPS
2001
Springer
14 years 1 days ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
ECOOP
2004
Springer
14 years 29 days ago
2004
Springer