4099 search results - page 8 / 820 » First Class Patterns |
CL
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
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...
ICFP
1996
ACM
13 years 11 months ago
1996
ACM
PLDI
1989
ACM
13 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
PLDI
1990
ACM
13 years 11 months ago
1990
ACM
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...