SECD
SECD is an extremely simple concrete VM for functional programming, including the use of Lisp. It's a very old concept, dating from the mid-1960's.- SECD Mania general information and collection of implementations.
- The Tail Recursive SECD Machine.