`Travelled to:`

1 × France

1 × United Kingdom

2 × Denmark

2 × Italy

5 × USA

`Collaborated with:`

∅ P.W.O'Hearn H.Yang U.S.Reddy L.Birkedal N.Torp-Smith

`Talks about:`

logic (4) structur (3) categori (3) syntact (3) control (3) separ (3) use (3) interfer (2) program (2) languag (2)

## Person: John C. Reynolds

### DBLP: Reynolds:John_C=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 14 papers:

- POPL-2012-ReddyR #logic
- Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.
- ESOP-2009-Reynolds #category theory #design #programming language #using
- Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
- POPL-2004-BirkedalTR #garbage collection #reasoning
- Local reasoning about a copying garbage collector (LB, NTS, JCR), pp. 220–231.
- POPL-2004-OHearnYR #information management
- Separation and information hiding (PWO, HY, JCR), pp. 268–280.
- LICS-2002-Reynolds #data type #logic
- Separation Logic: A Logic for Shared Mutable Data Structures (JCR), pp. 55–74.
- CSL-2001-OHearnRY #data type #reasoning #source code
- Local Reasoning about Programs that Alter Data Structures (PWO, JCR, HY), pp. 1–19.
- POPL-1995-Reynolds #category theory #using
- Using Functor Categories to Generate Intermediate Code (JCR), pp. 25–36.
- POPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial
- An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
- ICALP-1989-Reynolds
- Syntactic Control of Inference, Part 2 (JCR), pp. 704–722.
- LICS-1987-Reynolds #algol
- Conjunctive Types and Algol-like Languages (JCR), p. 119.
- SDCG-1980-Reynolds #category theory #design #using
- Using category theory to design implicit conversions and generic operators (JCR), pp. 211–258.
- POPL-1978-Reynolds
- Syntactic Control of Interference (JCR), pp. 39–46.
- ICALP-1974-Reynolds #continuation #on the #semantics
- On the Relation between Direct and Continuation Semantics (JCR), pp. 141–156.
- AS-1985-Reynolds
- Three Approaches to Type Structure (JCR), pp. 97–138.