140
click to vote
ESOP
2005
Springer
15 years 8 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...