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

by K B Bruce, A Schuett, R van Gent, A Fiech
Venue:TOPLAS