Polytoil: A type-safe polymorphic object-oriented language. (2003)

by Kim B Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
Venue:ACM Trans. Program. Lang. Syst.,