彼の最も重要な貢献は(ジェラルド・サスマンと共同での)言語の設計である。