An Extension of ML with First-Class Abstract Types

Konstantin Läufer, Martin Odersky
June, 1992
PDF Cite
Type
1
Publication
Proc. ACM SIGPLAN Workshop on ML and its Applications