Mini-ML

Mini-ML

["A Simple Applicative Language: Mini-ML", D. Clement et al,Proc 1986 ACM Conf on LISP and Functional Prog, (Aug 1986)].