An extension of ML with first-class abstract types (1992)

by K Läufer, M Odersky
Venue:In Proceedings of the SIGPLAN Workshop on ML and its Applications