A simple applicative language: Mini-ML (1986)

by D Clement, J Despeyroux, T Despeyroux, G Kahn
Venue:In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming