ALGOL
フリードリッヒ・L・バウアー(英語版)、ピーター・ナウア、ハインツ・ルティシュハウザー、クラウス・サメルソン(英語版)、Bernard Vauquois、アドリアン・ファン・ワインハールデン(英語版)、Michael Woodger
ピーター・ランディン(英語版)が指摘したように、ALGOLは命令型の副作用と(名前渡しの)ラムダ計算を一体に結合した初の言語である。この言語の最も見事な定式化はおそらくジョン・C・レイノルズ(英語版)によるもので、その文法および意味論の純粋さをよく表している。レイノルズの「理想化した」ALGOLも名前渡しの言語のコンテキストにおける「ローカル」な副作用の適切さについて説得力のある方法論的主張を行っており、MLのような値渡しの言語が使用する「グローバル」な副作用と対比される。ALGOLの概念的完全性により、PCF(英語版)やMLと共に意味論研究の主な対象とされるようになった。