，这是第一个被确切定义的抽象过程虚拟机；在SECD抽象机的基础上他设计了ISWIM程序语言，定义了他所谓的越位规则，并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域，这后来在Miranda、Haskell、Python和F#等语言中得到了运用。兰丁最重要的论文之一《The next 700 programming languages》对后来程序语言研究的影响深远。之所以选择“700”这个数字，据说是因为兰丁在《ACM期刊》上读到一篇文章说世界上已经存在过700种程序语言