244 search results - page 4 / 49 » Contracts for first-class classes |
ASIAN
1998
Springer
14 years 2 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
14 years 2 months ago
1996
ACM
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
PLDI
1989
ACM
14 years 2 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
14 years 2 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...