Extended ML: Past, present and future (1991)
Cached
Download Links
- [www.dcs.ed.ac.uk]
- [ftp.dcs.ed.ac.uk]
- CiteULike
Other Repositories/Bibliography
by
Donald Sannella
,
Andrzej Tarlecki
| Venue: | PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534 |
| Citations: | 22 - 8 self |
Document Versions
| Extended ML: Past, present and future –Donald Sannella , Andrzej Tarlecki — 1991 — PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534 |
| Extended ML: Past, present and future –Donald Sannella, Andrzej Tarlecki — 1991 — Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen. Springer LNCS 534 |
