This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
John C. Reynolds
A grouping.
John C. Reynolds: separation logic's founding (2000-02, with his teaching overview) and earlier, what a type means - type structure (1974) and parametric polymorphism (1983). Not Andrew Reynolds.
14 references
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
An Overview of Separation Logic
John Reynolds (2008) · Verified Software: Theories, Tools, Experiments · Springer
Local reasoning about a copying garbage collector
Lars Birkedal and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science · Macmillan Education UK
Theories of Programming Languages
John C. Reynolds (1998) · Cambridge University Press
The Essence of Algol
John Reynolds (1997) · Algol-like Languages · Birkhäuser Boston
Types, abstraction, and parametric polymorphism, part 2
Qingming Ma and others (1992) · Mathematical Foundations of Programming Semantics · Springer Science+Business Media
Three approaches to type structure
John C. Reynolds (1985) · Mathematical Foundations of Software Development · Springer Berlin Heidelberg
Types, Abstraction and Parametric Polymorphism
John C. Reynolds (1983) · Information Processing 83 · North-Holland
The Essence of Algol
John C. Reynolds (1981) · Algorithmic Languages · North-Holland
Using category theory to design implicit conversions and generic operators
John C. Reynolds (1980) · Springer Berlin Heidelberg
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer