| Publication | Date of Publication | Type |
|---|
Correctness of procedure representations in higher-order assembly language
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Untyped lambda-calculus with input-output
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Type reconstruction with recursive types and atomic subtyping
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Romeo: a system for more flexible binding-safe programming
Journal of Functional Programming | 2017-10-23 | Paper |
Small bisimulations for reasoning about higher-order imperative programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
Romeo: a system for more flexible binding-safe programming
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
Trampolined style
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
A resource analysis of the \(\pi\)-calculus
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Relating models of backtracking
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
A separation logic for refining concurrent objects
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Bottom-up -reduction: uplinks and -DAGs
Fundamenta Informaticae | 2011-05-18 | Paper |
| Essentials of programming languages. | 2009-12-11 | Paper |
The Higher-Order Aggregate Update Problem
Lecture Notes in Computer Science | 2009-02-10 | Paper |
A Theory of Hygienic Macros
Programming Languages and Systems | 2008-04-11 | Paper |
On the correctness of the Krivine machine
Higher-Order and Symbolic Computation | 2007-12-17 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Selectors make set-based analysis too hard
Higher-Order and Symbolic Computation | 2006-01-23 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 2087548 (Why is no real title available?) | 2004-08-11 | Paper |
CPS transformation of flow information
Journal of Functional Programming | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2036329 (Why is no real title available?) | 2004-02-02 | Paper |
| Essentials of programming languages. | 2001-09-11 | Paper |
Set constraints for destructive array update optimization
Journal of Functional Programming | 2001-07-23 | Paper |
Type inference with non-structural subtyping
Formal Aspects of Computing | 1997-08-03 | Paper |
Strong normalization with non-structural subtyping
Mathematical Structures in Computer Science | 1996-07-01 | Paper |
Conditional lambda-theories and the verification of static properties of programs
Information and Computation | 1994-09-13 | Paper |
| scientific article; zbMATH DE number 108542 (Why is no real title available?) | 1993-01-23 | Paper |
Type inference for record concatenation and multiple inheritance
Information and Computation | 1991-01-01 | Paper |
Correctness of static flow analysis in continuation semantics
Science of Computer Programming | 1991-01-01 | Paper |
A short proof of the lexical addressing algorithm
Information Processing Letters | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4180773 (Why is no real title available?) | 1989-01-01 | Paper |
Incorporating static analysis in a combinator-based compiler
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4051569 (Why is no real title available?) | 1987-01-01 | Paper |
Linear future semantics and its implementation
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035191 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3902021 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3986620 (Why is no real title available?) | 1985-01-01 | Paper |
What is Lisp
The American Mathematical Monthly | 1984-01-01 | Paper |
Loops in combinator-based compilers
Information and Control | 1983-01-01 | Paper |
Specifications, models, and implementations of data abstractions
Theoretical Computer Science | 1982-01-01 | Paper |
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3669824 (Why is no real title available?) | 1980-01-01 | Paper |
First-order identities as a defining language
Acta Informatica | 1980-01-01 | Paper |
Continuation-Based Program Transformation Strategies
Journal of the ACM | 1980-01-01 | Paper |
Final algebra semantics and data type extensions
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Fixed-point constructions in order-enriched categories
Theoretical Computer Science | 1979-01-01 | Paper |
A New Incompleteness Result for Hoare's System
Journal of the ACM | 1978-01-01 | Paper |
Compiling lambda-expressions using continuations and factorizations
Computer Languages | 1978-01-01 | Paper |
A characterization of weakest preconditions
Journal of Computer and System Sciences | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3569792 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3525360 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3525360 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3478415 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3478378 (Why is no real title available?) | 1975-01-01 | Paper |
Boolean-valued loops
BIT | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3438414 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3514952 (Why is no real title available?) | 1973-01-01 | Paper |
