Turing Award
在他的这篇图灵奖论文中，Backus描述了FP风格与基于lambda演算的语言有着如何不同：