A Simple Applicative Language: Mini-ML (1986)

by Dominique Clément, Joëlle Despeyroux, Thierry Despeyroux, Gilles Kahn
Venue:in the ACM Conference on Lisp and Functional Programming