The Essence of Reynolds

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 2014 → 24 Jan 2014

Conference

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

Keywords

  • data abstraction, polymorphism, separation logic, subtypes

ASJC Scopus subject areas

Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

DOI

By the same authors

The Essence of Reynolds

Uday Reddy, 1 May 2014, In : Formal Aspects of Computing. 26, 3, p. 435-439

Research output: Contribution to journal › Article

Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)

Uday Reddy, 28 Mar 2014, In : Electronic Notes in Theoretical Computer Science. 303, p. 149-180 32 p.

Research output: Contribution to journal › Article

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

Research output: Contribution to conference (unpublished) › Paper

Syntactic Control of Interference for Separation Logic

Uday Reddy, 1 Jan 2012, p. 323-336. 14 p.

Research output: Contribution to conference (unpublished) › Paper