イギリス連邦（ケンブリッジシャー）
伝記
イギリスの計算機科学者。自動定理証明ツールを開発し、その言語MLは型推論と例外処理を備えた世界初の言語となった。並行システムを解析する理論も作り、1991年にチューリング賞を受けた。
同じ年に亡くなった人物
- マルセル・ビジャール (2010年没)
- カルロス・ウゴ・デ・ボルボン＝パルマ (2010年没)
- マルセル・ドミンゴ (2010年没)
- ハヨ・ヘルマン (2010年没)
- ケヴィン・マッカーシー (2010年没)
同じ地域に関係する人物
- ピエロ・スラッファ (1983年没)
- オットー・ロベルト・フリッシュ (1979年没)
- ヘンリー・ハレット・デール (1968年没)
- F・R・リーヴィス (1978年没)
- フレデリック・バートレット (1969年没)