A simple applicative language: Mini-ML (1986)

by D Clement, J Despeyroux, T Despeyroux, G Kahn
Venue:in: Proceedings of the ACM conference on LISP and Functional Programming