John Charles Reynolds was an American computer scientist who worked at Syracuse University and Carnegie Mellon University. He is known for contributions including continuations, definitional interpreters, defunctionalization, the Gedanken and Forsythe languages, intersection types, polymorphic lambda calculus, relational parametricity and separation logic, work recognized with the Lovelace Medal in 2010.
Facts
In the Other Atlases
Sources
1. Wikipedia: John C. Reynolds
Wikimedia Foundationopening paragraphQuote, opening paragraph
John Charles Reynolds (June 1, 1935, April 28, 2013) was an American computer scientist.
John C. Reynolds (Wikidata)
Wikidata alias: Reynolds, John C.
Reynolds, John C.
Wikidata P166: Lovelace Medal
Wikidata P166 (award received): Lovelace Medal.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: Programming Languages Achievement Award
Wikidata P166 (award received): Programming Languages Achievement Award.
Wikidata alias: John Charles Reynolds
John Charles Reynolds
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.