429 search results - page 26 / 86 » Polymorphic typed defunctionalization |
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
TIC
1998
Springer
15 years 2 months ago
1998
Springer
Suppose we translate two different source languages,
AFP
1995
Springer
15 years 1 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...