| Publication | Date of Publication | Type |
|---|
| A syntax for linear logic | 2023-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020617 | 2022-01-06 | Paper |
| Blame and coercion: Together again for the first time | 2021-12-27 | Paper |
| Introduction to Computation | 2021-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141618 | 2020-12-18 | Paper |
| Leibniz equality is isomorphic to Martin-Löf identity, parametrically | 2020-09-09 | Paper |
| Unraveling recursion: compiling an IR with recursion to System F | 2020-05-05 | Paper |
| System F in Agda, for fun and profit | 2020-05-05 | Paper |
| Unifying graded and parameterised monads | 2020-01-28 | Paper |
| COCHIS: Stable and coherent implicits | 2019-11-22 | Paper |
| The marriage of effects and monads | 2019-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608685 | 2018-03-21 | Paper |
| The marriage of effects and monads | 2017-08-21 | Paper |
| A practical subtyping system for Erlang | 2017-08-21 | Paper |
| The marriage of effects and monads | 2017-06-13 | Paper |
| A reflection on call-by-value | 2016-09-01 | Paper |
| Call-by-value is dual to call-by-name | 2015-07-02 | Paper |
| Threesomes, with and without blame | 2015-06-11 | Paper |
| A practical theory of language-integrated query | 2015-03-30 | Paper |
| Propositions as sessions | 2014-08-14 | Paper |
| Propositions as sessions | 2014-07-21 | Paper |
| Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous | 2014-06-27 | Paper |
| Blame for all | 2014-04-10 | Paper |
| The arrow calculus | 2010-03-17 | Paper |
| Monadic constraint programming | 2009-11-25 | Paper |
| Well-Typed Programs Can’t Be Blamed | 2009-03-31 | Paper |
| The Girard-Reynolds isomorphism (second edition) | 2007-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714455 | 2006-01-02 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| The Girard-Reynolds isomorphism | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473276 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472431 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409150 | 2003-06-30 | Paper |
| Call-by-name, call-by-value, call-by-need and the linear lambda calculus | 2000-08-23 | Paper |
| Operational interpretations of linear logic | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260366 | 1999-09-19 | Paper |
| The call-by-need lambda calculus | 1999-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222771 | 1998-12-10 | Paper |
| Comprehending monads | 1994-10-31 | Paper |
| Deforestation: Transforming programs to eliminate trees | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028326 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3729997 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3685162 | 1985-01-01 | Paper |
| Analysis of an algorithm for real time garbage collection | 1976-01-01 | Paper |
| On Pairs of Nonintersecting Faces of Cell Complexes | 1975-01-01 | Paper |
