Mini-ML

"A Simple Applicative Language: Mini-ML", D. Clement et al, Proceedings of the 1986 ACM Conference on LISP and Functional Programming, (Aug 1986).