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

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