Extended ML: past, present and future (1991)

by D Sannella, A Tarlecki
Venue:In Proc. 7th Intl. Workshop on Specification of Abstract Data Types