John C. Reynolds
10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
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.
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
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
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
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