ISWIM
ISWIM プログラムは、'where' 節を使った1つの式(変数間の等式を含む補助的定義)、条件付きの式、関数定義からなる。ISWIM は、CPLと共に最初に 'where' 節を使ったプログラミング言語の1つであった。
意味論的特徴としては、既存のデータ型を組み合わせて(場合によっては再帰的に)新たなデータ型を定義可能であったことが挙げられる。これはやや冗長な自然言語的なスタイルであったが、最近の関数型言語にある代数的データ型と同じものである。ISWIM では、変数の型は明示的に宣言されず、Landin は(1966年の論文では明記していないが)動的型付けのようなものを想定していたと思われる(ALGOLよりもむしろLISPに近い)。もちろん、彼が何らかの型推論を開発することを思い描いていたとも考えられる。
ISWIM をそのまま実装する試みはなされなかったが、Art Evan の PAL や John Reynold の Gedanken は Landin の J 演算子を含む概念に影響されている。これらはどちらも動的型付けであった。Milner の ML は ISWIM から J 演算子を省いて、型推論を追加したものと評される。またLandinは参考文献に自身の、SECDマシンを示した"The Mechanical Evaluation of Expression"を載せている。
ISWIM から影響を受けた別の系統として、命令型の機能(代入や J 演算子)を省いた純粋関数型言語がある。この系統は遅延評価への切り替えが可能となっている。例えば、SASL、Miranda、Haskell がその系統にあたる。