ジョン・バッカスの関数型言語 FL に関するビデオ講義

Function Level Programming and the FL Language

John Backus: Function Level Programming and the FL Language 1987

バッカスのチューリング賞受賞講演
Can programming be liberated from the von Neumann style?
無料登録で読めるようです。