| Publication | Date of Publication | Type |
|---|
Types, abstraction, and parametric polymorphism, part 2
Lecture Notes in Computer Science | 2023-08-16 | Paper |
The coherence of languages with intersection types
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Separation and information hiding
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Local reasoning about a copying garbage collector
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Syntactic control of interference for separation logic
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Theories of Programming Languages | 2009-06-08 | Paper |
From Algol to polymorphic linear lambda-calculus
Journal of the ACM | 2006-09-12 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 1841809 (Why is no real title available?) | 2002-12-04 | Paper |
Definitional interpreters revisited
Higher-Order and Symbolic Computation | 1999-05-31 | Paper |
Definitional interpreters for higher-order programming languages
Higher-Order and Symbolic Computation | 1999-05-31 | Paper |
| Theories of Programming Languages | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 814792 (Why is no real title available?) | 1996-04-11 | Paper |
On functors expressible in the polymorphic typed lambda calculus
Information and Computation | 1993-08-30 | Paper |
| scientific article; zbMATH DE number 3898200 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3882404 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3748394 (Why is no real title available?) | 1981-01-01 | Paper |
Reasoning about arrays
Communications of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614153 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614148 (Why is no real title available?) | 1978-01-01 | Paper |
Semantics of the Domain of Flow Diagrams
Journal of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3499219 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3485174 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3490449 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3439973 (Why is no real title available?) | 1972-01-01 | Paper |
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3349328 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3303661 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3335031 (Why is no real title available?) | 1969-01-01 | Paper |
