LISP
1980年代、LISPのサブセットの純粋関数型である純LISPと、その処理系であるLispkit Lispが、関数型プログラミングのテストベッド用に、SECDマシン上で開発された。 その仕様としては、遅延評価を評価戦略に採り、レキシカルスコープを採用している。 以下の5つの関数と特殊形式、他にシンボルのnilとt、などがあれば自分自身を解釈実行できるevalを実装できる。このことはある意味で万能チューリングマシンと同様のことであると言える。
関数 car cdr cons eq atom
特殊形式 cond quote define(label)