John C. Reynolds

Available identifiers

zbMath Open reynolds.john-cWikidataQ3719620 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
Local reasoning about a copying garbage collector	2015-11-11	Paper
Separation and information hiding	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/Q4178462	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178467	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/Q5585029	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5612475	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5624680	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John C. Reynolds