ll和Darlington开发了NPL语言。 NPL基于 ，并在他们的程序转换工作中首次引入。 然后Burstall、MacQueen和Sannella结合了来自ML的多态类型检查，从NPL派生出了Hope语言。ML最终发展成几种语言，其中最常见的是OCaml和Standard ML。在20世纪70年代，Guy L. Steele和Gerald Jay Sussman开发了Scheme，如有影响力的“Lambda论文集”和经典的1985年教科书《计算机程序的构造和解释》中所描述的那样。Scheme是使用