John C. Reynolds
ACM Fellows
USA - 2001
citation
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
citation
G/EDANKEN - a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, May 1970