mini-ml

from The Free On-line Dictionary of Computing (8 July 2008)

Mini-ML

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