USA - 2001
For research on the use of types in programming languages, for clarifying the semantical basis for types, and for influencing the design of modern programming languages.
ACM Programming Systems and Languages Paper Award
USA - 1971
G/EDANKEN - a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, May 1970