| Publication | Date of Publication | Type |
|---|
| Correctness of procedure representations in higher-order assembly language | 2023-08-16 | Paper |
| Untyped lambda-calculus with input-output | 2023-02-23 | Paper |
| Type reconstruction with recursive types and atomic subtyping | 2022-11-02 | Paper |
| Romeo: A system for more flexible binding-safe programming | 2017-10-23 | Paper |
| Small bisimulations for reasoning about higher-order imperative programs | 2017-08-21 | Paper |
| Romeo: a system for more flexible binding-safe programming | 2016-09-29 | Paper |
| Trampolined style | 2016-09-01 | Paper |
| A Resource Analysis of the π-calculus | 2016-07-15 | Paper |
| Relating models of backtracking | 2015-03-09 | Paper |
| A separation logic for refining concurrent objects | 2014-04-10 | Paper |
| Bottom-up β-reduction: Uplinks and λ-DAGs | 2011-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3651734 | 2009-12-11 | Paper |
| The Higher-Order Aggregate Update Problem | 2009-02-10 | Paper |
| A Theory of Hygienic Macros | 2008-04-11 | Paper |
| On the correctness of the Krivine machine | 2007-12-17 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| Selectors make set-based analysis too hard | 2006-01-23 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738358 | 2004-08-11 | Paper |
| CPS transformation of flow information | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445766 | 2004-02-02 | Paper |
| Essentials of programming languages. | 2001-09-11 | Paper |
| Set constraints for destructive array update optimization | 2001-07-23 | Paper |
| Type inference with non-structural subtyping | 1997-08-03 | Paper |
| Strong normalization with non-structural subtyping | 1996-07-01 | Paper |
| Conditional lambda-theories and the verification of static properties of programs | 1994-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4024007 | 1993-01-23 | Paper |
| Type inference for record concatenation and multiple inheritance | 1991-01-01 | Paper |
| Correctness of static flow analysis in continuation semantics | 1991-01-01 | Paper |
| A short proof of the lexical addressing algorithm | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204026 | 1989-01-01 | Paper |
| Incorporating static analysis in a combinator-based compiler | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787979 | 1987-01-01 | Paper |
| Linear future semantics and its implementation | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774987 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680263 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750108 | 1985-01-01 | Paper |
| What is Lisp | 1984-01-01 | Paper |
| Loops in combinator-based compilers | 1983-01-01 | Paper |
| Specifications, models, and implementations of data abstractions | 1982-01-01 | Paper |
| Deriving Target Code as a Representation of Continuation Semantics | 1982-01-01 | Paper |
| First-order identities as a defining language | 1980-01-01 | Paper |
| Continuation-Based Program Transformation Strategies | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867145 | 1980-01-01 | Paper |
| Final algebra semantics and data type extensions | 1979-01-01 | Paper |
| Fixed-point constructions in order-enriched categories | 1979-01-01 | Paper |
| A New Incompleteness Result for Hoare's System | 1978-01-01 | Paper |
| Compiling lambda-expressions using continuations and factorizations | 1978-01-01 | Paper |
| A characterization of weakest preconditions | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140350 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4104120 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061986 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061942 | 1975-01-01 | Paper |
| Boolean-valued loops | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404457 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094360 | 1973-01-01 | Paper |
