A simple applicative language (1986)

by D Clement, J Despeyroux, T Despeyroux, G Kahn
Venue:Mini-ML. Pages 13–27 of: ACM Symposium on Lisp and Functional Programming