Polymorphic Type Inference and Abstract Data Types

Konstantin Läufer, Martin Odersky
January, 1994
PDF Cite DOI URL
Type
2
Publication
ACM Trans. Program. Lang. Syst.