，兰丁在ALGOL程序语言的标准化制定中起到了推动作用；图灵奖获得者托尼·霍尔称他是几个教会他ALGOL 60语言的人之一。1964年，兰丁提出了闭包的概念。这一概念后来被Scheme语言实现，并逐渐成为了函数式编程中的重要概念。兰丁设计了SECD抽象机，这是第一个被确切定义的抽象过程虚拟机；在SECD抽象机的基础上他设计了ISWIM程序语言，定义了他所谓的越位规则，并第一次提出了程序语言语法糖的概念。越位语法规则使用空格缩进来控制名称声明的作用域，这后来在Miranda、Haskell、Pytho