Programming Objects with ML-ART: An extension to ML with Abstract and Record Types (1994)

by D Rémy
Venue:Pages 321–346 of: Hagiya, M., & Mitchell, J.C. (eds), International Symposium on Theoretical Aspects of Computer Software. LNCS