John C. Reynolds | |
|---|---|
 | |
| Born | John Charles Reynolds June 1, 1935 United States |
| Died | April 28, 2013 (aged 77) |
| Education | Purdue University Ph.D., Harvard University (1961) |
| Known for | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL |
| Awards | Lovelace Medal (2010) |
| Scientific career | |
| Fields | Computer scientist |
| Institutions | Syracuse University Carnegie Mellon University |
| Thesis | Surface Properties of Nuclear Matter (1961) |
| Doctoral students | Benjamin C. Pierce |
| Website | www |
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.[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.