| Publication | Date of Publication | Type |
|---|
A greedy algorithm for dropping digits
Journal of Functional Programming | 2022-01-07 | Paper |
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem
Journal of Functional Programming | 2022-01-07 | Paper |
Not by equations alone. Reasoning with extensible effects
Journal of Functional Programming | 2021-12-22 | Paper |
Declarative pearl: deriving monadic quicksort
| 2021-07-06 | Paper |
Handling local state with global state
| 2020-05-05 | Paper |
Functional pearl: folding polynomials of polynomials
| 2018-07-09 | Paper |
Calculating a linear-time solution to the densest-segment problem
Journal of Functional Programming | 2017-10-23 | Paper |
Queueing and glueing for optimal partitioning (functional pearl)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Formal derivation of greedy algorithms from relational specifications: a tutorial
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Functional pearl: nearest shelters in Manhattan
Programming Languages and Systems | 2016-02-26 | Paper |
Generalising and dualising the third list-homomorphism theorem: functional pearl
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Programming from Galois connections
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Programming from Galois connections
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
A grammar-based approach to invertible programs
Programming Languages and Systems | 2010-05-04 | Paper |
Rebuilding a tree from its traversals: a case study of program inversion
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Algebra of programming in Agda: Dependent types for relational program derivation
Journal of Functional Programming | 2009-11-13 | Paper |
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
Algebra of Programming Using Dependent Types
Lecture Notes in Computer Science | 2008-08-28 | Paper |
A Pushdown Machine for Recursive XML Processing
Programming Languages and Systems | 2008-05-06 | Paper |
Countdown: A case study in origami programming
Journal of Functional Programming | 2005-10-11 | Paper |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
FUNCTIONAL PEARL Inverting the Burrows–Wheeler transform
Journal of Functional Programming | 2005-03-21 | Paper |
Theory and applications of inverting functions as folds
Science of Computer Programming | 2004-10-04 | Paper |
scientific article; zbMATH DE number 2090028 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2087346 (Why is no real title available?)
| 2004-08-11 | Paper |
