John C. Reynolds

Digital Library

ACM Fellows

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