Reflections on Standard ML (1992)

by David B. MacQueen
Venue: FUNCTIONAL PROGRAMMING, CONCURRENCY, SIMULATION AND AUTOMATED REASONING, VOLUME 693 OF LNCS
Citations:197 - 4 self

Document Versions

Reflections on Standard ML –David B. MacQueen — 1992 — FUNCTIONAL PROGRAMMING, CONCURRENCY, SIMULATION AND AUTOMATED REASONING, VOLUME 693 OF LNCS
Modules for Standard ML –David Macqueen — 1984
Reflections on Standard ML –David B. Macqueen — 1994