Modules for Standard ML, in [5]. (An earlier version appeared (1984)

by D MacQueen
Venue:in Proceedings ACM Symposium on Lisp and Functional Programming