Programming objects with ML-ART: an extension to ML with abstract and record types (1994)

by D Rémy
Venue:Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science