["A Simple Applicative Language: Mini-ML", D. Clement et al,

Proc 1986 ACM Conf on LISP and Functional Prog, (Aug 1986)].