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