Extended ML: past, present and future (1991)

by D Sannella, A Tarlecki
Venue:Proc. 7th Intl. Workshop on Speci of Abstract Data Types, Wusterhausen. Springer LNCS 534