純LISP
論文中で理論的可能性として示されたものであるが、変数のスコープがいわゆる動的スコープであることなどは、こんにちでは一種のバグのようなものとして扱われることもある(理論的には静的スコープのほうが色々な意味で整合的である)。Lispの発展の過程で「FUNARG問題」などとしてその性質が論じられた。Lispkit Lisp(en:Lispkit Lisp)などの実装を指してPure Lispとされることもある(なお、Lispkit Lispは静的スコープである)。