429 search results - page 22 / 86 » Parameter-free polymorphic types |
146
Voted
OOPSLA
1989
Springer
15 years 9 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
158
Voted
ICFP
2007
ACM
16 years 5 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-...
134
Voted
TIC
1998
Springer
15 years 9 months ago
1998
Springer
Suppose we translate two different source languages,
145
click to vote
AFP
1995
Springer
15 years 8 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...
157
Voted
ESOP
2005
Springer
15 years 10 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...