John C. Reynolds

Available identifiers

zbMath Open reynolds.john-cDBLPr/JohnCReynoldsWikidataQ3719620 ScholiaQ3719620MaRDI QIDQ1260642

List of research outcomes

Publication	Date of Publication	Type
Types, abstraction, and parametric polymorphism, part 2	2023-08-16	Paper
The coherence of languages with intersection types	2022-08-16	Paper
Separation and information hiding	2015-11-11	Paper
Local reasoning about a copying garbage collector	2015-11-11	Paper
Syntactic control of interference for separation logic	2015-09-11	Paper
Theories of Programming Languages	2009-06-08	Paper
From Algol to polymorphic linear lambda-calculus	2006-09-12	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4783297	2002-12-04	Paper
Definitional interpreters revisited	1999-05-31	Paper
Definitional interpreters for higher-order programming languages	1999-05-31	Paper
Theories of Programming Languages	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4855337	1996-04-11	Paper
On functors expressible in the polymorphic typed lambda calculus	1993-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q3677139	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216629	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3932278	1981-01-01	Paper
Reasoning about arrays	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178467	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178462	1978-01-01	Paper
Semantics of the Domain of Flow Diagrams	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4080709	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068054	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4072829	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766005	1972-01-01	Paper
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5624680	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585029	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5612475	1969-01-01	Paper

Research outcomes over time

This page was built for person: John C. Reynolds