| Publication | Date of Publication | Type |
|---|
| Certified, total serialisers with an application to Huffman encoding | 2024-04-18 | Paper |
| Calculating datastructures | 2023-06-30 | Paper |
| Introducing String Diagrams | 2023-05-03 | Paper |
| Super-naturals | 2022-03-17 | Paper |
| Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata | 2020-05-05 | Paper |
| On constructing 2-3 trees | 2019-02-20 | Paper |
| Parberry’s pairwise sorting network revealed | 2019-02-20 | Paper |
| Unifying structured recursion schemes | 2017-10-23 | Paper |
| Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers | 2016-12-15 | Paper |
| Conjugate Hylomorphisms -- Or | 2016-09-29 | Paper |
| Dragging Proofs Out of Pictures | 2016-08-17 | Paper |
| Bootstrapping one-sided flexible arrays | 2015-10-07 | Paper |
| Deriving backtracking monad transformers | 2015-09-11 | Paper |
| PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION | 2015-04-30 | Paper |
| Unifying structured recursion schemes | 2015-03-30 | Paper |
| A new approach to generic functional programming | 2015-03-17 | Paper |
| Functional pearl | 2015-03-16 | Paper |
| A simple implementation technique for priority search queues | 2015-03-09 | Paper |
| Generics for the masses | 2015-03-09 | Paper |
| Just do it | 2015-03-05 | Paper |
| Proving the unique fixed-point principle correct | 2015-03-05 | Paper |
| Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries | 2015-01-12 | Paper |
| Functional pearl | 2015-01-06 | Paper |
| A Duality of Sorts | 2014-04-16 | Paper |
| Derivable Type Classes | 2013-05-10 | Paper |
| Generic Programming with Adjunctions | 2012-11-21 | Paper |
| Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick | 2012-09-05 | Paper |
| Concrete stream calculus: An extended study | 2011-07-25 | Paper |
| Typed quote/antiquote or: Compile-time parsing | 2011-07-14 | Paper |
| Type Fusion | 2011-01-21 | Paper |
| Adjoint Folds and Unfolds | 2010-07-26 | Paper |
| Generic Programming | 2010-03-09 | Paper |
| Generic Programming | 2010-03-09 | Paper |
| Purely Functional 1-2 Brother Trees | 2009-11-25 | Paper |
| The Bird Tree | 2009-11-13 | Paper |
| Generic programming in 3D | 2009-07-24 | Paper |
| “Scrap Your Boilerplate” Revolutions | 2009-04-02 | Paper |
| “Scrap Your Boilerplate” Reloaded | 2007-05-02 | Paper |
| Typed Contracts for Functional Programming | 2007-05-02 | Paper |
| Generics for the masses | 2006-08-28 | Paper |
| Finger trees: a simple general-purpose data structure | 2006-03-22 | Paper |
| Mathematics of Program Construction | 2005-08-26 | Paper |
| THEORETICAL PEARL Church numerals, twice! | 2005-04-05 | Paper |
| Type-indexed data types | 2004-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808691 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808692 | 2004-08-12 | Paper |
| Formatting: a class act | 2004-03-29 | Paper |
| Polytypic values possess polykinded types | 2002-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766767 | 2002-07-22 | Paper |
| A fresh look at binary search trees | 2002-01-01 | Paper |
| Manufacturing datatypes | 2001-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726288 | 2001-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721090 | 2001-07-01 | Paper |
| Weaving a web | 2001-01-01 | Paper |
| Generalizing generalized tries | 2000-12-03 | Paper |
| Perfect trees and bit-reversal permutations | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3836527 | 1999-12-09 | Paper |
| Explaining binomial heaps | 1999-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130262 | 1997-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4286742 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023827 | 1993-01-23 | Paper |
