The Essence of Reynolds

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

External organisations

  • Carnegie Mellon University
  • Facebook

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 languageEnglish
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
Publication statusPublished - 11 Jan 2014
Event41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 - San Diego, CA, United States
Duration: 22 Jan 201424 Jan 2014

Conference

Conference41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014
CountryUnited States
CitySan Diego, CA
Period22/01/1424/01/14

Keywords

  • data abstraction, polymorphism, separation logic, subtypes

ASJC Scopus subject areas