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
AwardProgramming Languages Achievement Award 1 In the Other Atlases
Sources
1. Wikidata: John C. Reynolds
- Wikidata Q3719620, class allow-list match (w-wdresolver-0926)
- Wikidata Q3719620 P569 (date of birth)
2. Wikipedia: John C. Reynolds
Wikimedia Foundationopening paragraphQuote, opening paragraph
John Charles Reynolds (June 1, 1935, April 28, 2013) was an American computer scientist.
Reader 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.