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

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