Combining type classes and existential types (1994)

by Konstantin Laufer
Venue:In Proceedings of the Latin American Informatics Conference