Extended ML: Past, present and future (1991)

Cached

Download Links

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