BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reynolds:John_C=

Facilitated 1 volumes:

POPL 1975Ed

Contributed to:

POPL 20122012
ESOP 20092009
POPL 20042004
LICS 20022002
CSL 20012001
POPL 19951995
POPL 19931993
ICALP 19891989
LICS 19871987
SDCG 19801980
POPL 19781978
ICALP 19741974
TAPSOFT, Vol.1: AS 19851985

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.
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.
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.
Three Approaches to Type Structure (JCR), pp. 97–138.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.