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.
Original language | English |
---|---|
Title of host publication | Conference Record of the Annual ACM Symposium on Principles of Programming Languages |
Publisher | Association for Computing Machinery |
Pages | 251-255 |
Number of pages | 5 |
ISBN (Print) | 9781450325448 |
DOIs | |
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/Territory | United States |
City | San Diego, CA |
Period | 22/01/14 → 24/01/14 |
Keywords
- data abstraction
- polymorphism
- separation logic
- subtypes
ASJC Scopus subject areas
- Software