格中解放出来的程序设计和函数式风格及其程序代数》中，展示了他提出的FP。他将函数式编程定义为通过“组合形式”以分层方式构建，允许“程序代数”; 在现代语言中，这意味着函数式程序应遵循复合性原理。Backus的论文推广了函数式编程的研究，虽然它强调的是函数级编程而不是现在所说的lambda演算风格。1973年爱丁堡大学的Robin Milner发明了ML语言，它的语法受到了ISWIM的启发。同年，David Turner在圣安德鲁斯大学开发SASL语言，它基于了ISWIM的应用式子集。在1976年，Tur