Extended ML: Past, present and future (1991)

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534