了闭包的概念。这一概念后来被Scheme语言实现，并逐渐成为了函数式编程中的重要概念。兰丁设计了SECD抽象机，这是第一个被确切定义的抽象过程虚拟机；在SECD抽象机的基础上他设计了ISWIM程序语言，定义了他所谓的越位规则，并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域，这后来在Miranda、Haskell、Python和F#等语言中得到了运用。兰丁最重要的论文之一《The next 700 programming languages》对后来程序语言研究的影响