BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
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.
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.