| Publication | Date of Publication | Type |
|---|
| A reflection on continuation-composing style | 2026-02-24 | Paper |
| A complete normal-form bisimilarity for algebraic effects and handlers | 2026-02-24 | Paper |
| Optimizing a non-deterministic abstract machine with environments | 2026-01-14 | Paper |
Call-by-value and call-by-name: a simple proof of a classic theorem
Journal of Functional Programming | 2025-11-25 | Paper |
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines
Logical Methods in Computer Science | 2024-09-04 | Paper |
| Non-deterministic abstract machines | 2024-08-13 | Paper |
Automating the functional correspondence between higher-order evaluators and abstract machines
Logic-Based Program Synthesis and Transformation | 2023-05-08 | Paper |
| Diacritical companions | 2022-04-29 | Paper |
| Proving soundness of extensional normal-form bisimilarities | 2022-04-25 | Paper |
| Proving termination of evaluation for system F with control operators | 2021-09-09 | Paper |
Proving termination of evaluation for system F with control operators
(available as arXiv preprint) | 2021-09-09 | Paper |
An abstract machine for strong call by value
(available as arXiv preprint) | 2021-07-08 | Paper |
| Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines | 2021-01-19 | Paper |
| A complete normal-form bisimilarity for state | 2020-01-28 | Paper |
Bisimulations for delimited-control operators
(available as arXiv preprint) | 2019-05-24 | Paper |
Proving soundness of extensional normal-form bisimilarities
(available as arXiv preprint) | 2019-05-17 | Paper |
Logical relations for coherence of effect subtyping
(available as arXiv preprint) | 2018-02-20 | Paper |
| Environmental bisimulations for delimited-control operators with dynamic prompt generation | 2017-10-17 | Paper |
Environmental bisimulations for delimited-control operators with dynamic prompt generation
(available as arXiv preprint) | 2017-10-12 | Paper |
| Logical relations for coherence of effect subtyping | 2017-07-12 | Paper |
| Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus | 2016-05-13 | Paper |
A context-based approach to proving termination of evaluation
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Subtyping delimited continuations
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Environmental bisimulations for delimited-control operators
Programming Languages and Systems | 2015-01-12 | Paper |
Normal form bisimulations for delimited-control operators
Functional and Logic Programming | 2012-07-20 | Paper |
Applicative bisimulations for delimited-control operators
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
On the dynamic extent of delimited continuations
Information Processing Letters | 2009-12-18 | Paper |
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Logical Methods in Computer Science | 2007-10-11 | Paper |
On the static and dynamic extents of delimited continuations
Science of Computer Programming | 2006-06-30 | Paper |
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
Journal of Functional Programming | 2006-06-09 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
