An extension of ML with abstract types (1992)

by Martin Odersky, Konstantin Laufer
Venue:In Proceedings of the 1992 ACM Workshop on ML and its Applications