Back جون س. رينولدز Arabic جون س. رينولدز ARZ جان سی رینولدز AZB John Charles Reynolds Spanish جان سی رینولدز Persian John C. Reynolds French Джон Ринолдс Kazakh John C. Reynolds Malagasy

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)
CitizenshipUnited States
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.

Rich TVX News Network Site

Rich TVX News Network Info

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search