John Reynolds

Digital Library

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