A functional programming language DESigned by Peter Henderson with Lisp syntax. DESigned for portability. The Lispkit implementation is an extension to Landin' s SECD machine that supports lazy evaluation. See also Stack environment control dump machine.