John C. Reynolds

John C. Reynolds
Born
John Charles Reynolds

(1935-06-01)June 1, 1935
United States
DiedApril 28, 2013(2013-04-28) (aged 77)
EducationPurdue University
Ph.D., Harvard University (1961)
Known forcontinuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL
AwardsLovelace Medal (2010)
Scientific career
FieldsComputer scientist
InstitutionsSyracuse University
Carnegie Mellon University
Thesis Surface Properties of Nuclear Matter  (1961)
Doctoral studentsBenjamin C. Pierce
Websitewww.cs.cmu.edu/~jcr

John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.[1]

  1. ^ Fisher, Larry (29 April 2013). "John Reynolds, 1935–2013". Communications of the ACM: ACM News. United States: Association for Computing Machinery. Retrieved 30 April 2013.