The Essence of Reynolds
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
External organisations
- Carnegie Mellon University
Abstract
John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.
Details
| Original language | English |
|---|---|
| Title of host publication | Conference Record of the Annual ACM Symposium on Principles of Programming Languages |
| Publication status | Published - 11 Jan 2014 |
| Event | 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 - San Diego, CA, United States Duration: 22 Jan 2014 → 24 Jan 2014 |
Conference
| Conference | 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 |
|---|---|
| Country | United States |
| City | San Diego, CA |
| Period | 22/01/14 → 24/01/14 |
Keywords
- data abstraction, polymorphism, separation logic, subtypes