Dominique Clément Joëlle Despeyroux Th. Despeyroux Gilles Kahn A Simple Applicative Language: Mini-ML. 13-27 1986 LISP and Functional Programming db/conf/lfp/lfp1986.html#ClementDDK86