| Publication | Date of Publication | Type |
|---|
| Compositional reversible computation | 2024-11-13 | Paper |
| A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics | 2022-12-25 | Paper |
| From reversible programs to univalent universes and back | 2022-04-25 | Paper |
| Not by equations alone: Reasoning with extensible effects | 2021-12-22 | Paper |
| Fractional types. Expressive and safe space management for ancilla bits | 2021-07-05 | Paper |
| Embracing the Laws of Physics: Three Reversible Models of Computation | 2018-11-08 | Paper |
| A library of reversible circuit transformations (work in progress) | 2018-10-17 | Paper |
| An extended account of contract monitoring strategies as patterns of communication | 2018-08-03 | Paper |
| From symmetric pattern-matching to quantum control | 2018-07-17 | Paper |
| Quantum Interval-Valued Probability: Contextuality and the Born Rule | 2017-12-24 | Paper |
| Monadic state | 2017-08-21 | Paper |
| Expressing contract monitors as patterns of communication | 2017-05-10 | Paper |
| A reflection on call-by-value | 2016-09-01 | Paper |
| Monadic encapsulation in ML | 2016-09-01 | Paper |
| Corrigendum: Geometry of discrete quantum computing | 2016-08-02 | Paper |
| Computing with Semirings and Weak Rig Groupoids | 2016-04-26 | Paper |
| Isomorphic Interpreters from Logically Reversible Abstract Machines | 2015-11-30 | Paper |
| Information effects | 2015-09-11 | Paper |
| Delimited dynamic binding | 2015-08-03 | Paper |
| Lazy evaluation and delimited control | 2015-07-03 | Paper |
| Macros as multi-stage computations | 2015-03-09 | Paper |
| A type-theoretic foundation of continuations and prompts | 2015-03-09 | Paper |
| Backtracking, interleaving, and terminating monad transformers | 2015-01-06 | Paper |
| Discrete quantum theories | 2014-04-11 | Paper |
| Quantum Arrows in Haskell | 2014-01-17 | Paper |
| An Algebra of Pure Quantum Programming | 2013-12-06 | Paper |
| Geometry of discrete quantum computing | 2013-05-27 | Paper |
| The Power of Discrete Quantum Theories | 2011-04-08 | Paper |
| Quantum Computing over Finite Fields | 2011-01-19 | Paper |
| Lazy Evaluation and Delimited Control | 2010-07-27 | Paper |
| A type-theoretic foundation of delimited continuations | 2010-05-05 | Paper |
| Reasoning about General Quantum Programs over Mixed States | 2009-12-09 | Paper |
| The Arrow Calculus as a Quantum Programming Language | 2009-07-02 | Paper |
| A proof-theoretic foundation of abortive continuations | 2007-12-17 | Paper |
| A monadic framework for delimited continuations | 2007-11-22 | Paper |
| Structuring quantum effects: superoperators as arrows | 2006-08-28 | Paper |
| An abstract monadic semantics for value recursion | 2005-03-21 | Paper |
| CPS in little pieces: composing partial continuations | 2003-09-04 | Paper |
| From syntactic theories to interpreters: Automating the proof of unique decomposition | 2002-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499194 | 2001-03-06 | Paper |
| Monadic encapsulation of effects: a revised approach (extended version) | 2001-01-01 | Paper |
| What is a purely functional language? | 1999-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222931 | 1999-01-06 | Paper |
