slips

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

SLIPS

   "An Interpreter for SLIPS - An Applicative Language Based on
   Lambda-Calculus", V. Gehot et al, Comp Langs 11(1):1-14
   (1986).