ter Henderson于1980年出版了用一种变体ALGOL语言写的基于SECD抽象机的实现。编译器和虚拟机都是高度可移植的，并已经在多种机器上实现。
基本函数.基本语言只提供了下列函数，扩展在Henderson书中关于对惰性求值和非确定性编程的明确支持中讨论。函数lambda、let和letrec是类似的，但是在处理命名变量的方式上有着微妙的区别，故有不同的用处。lambda定义并返回一个函数，let把表达式赋值给变量名，而letrec本质上类似于let，除了它允许递归