チューリング賞 1991: 勝者

受賞者

1. Robin Milner

   情報科学

   The award citation mentions three primary contributions: his mechanization of the Logic of Computable Functions; the programming language ML including its type inference and type safety; the calculus of communicating systems; as well as the connection between operational and denotational semantics