| Publication | Date of Publication | Type |
|---|
A greedy algorithm for dropping digits
Journal of Functional Programming | 2022-01-07 | Paper |
| Algorithm design with Haskell | 2020-08-10 | Paper |
An optimal, purely functional implementation of the Garsia-Wachs algorithm
Journal of Functional Programming | 2020-05-26 | Paper |
How to find a fake coin
Journal of Functional Programming | 2019-11-22 | Paper |
How to mingle streams
Journal of Functional Programming | 2017-10-23 | Paper |
On computing representatives
Information Processing Letters | 2016-05-26 | Paper |
An in-situ algorithm for expanding a graph
Journal of Functional Programming | 2013-06-14 | Paper |
A simple division-free algorithm for computing determinants
Information Processing Letters | 2013-04-04 | Paper |
On building cyclic and shared structures in Haskell
Formal Aspects of Computing | 2013-03-22 | Paper |
Building a consensus: a rectangle covering problem
Journal of Functional Programming | 2011-07-25 | Paper |
Arithmetic coding with folds and unfolds
Advanced Functional Programming | 2011-04-01 | Paper |
Minimal on-line labelling
Information Processing Letters | 2010-01-29 | Paper |
Rebuilding a tree from its traversals: a case study of program inversion
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Loopless Functional Algorithms
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Improving Saddleback Search: A Lesson in Algorithm Design
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Zippy Tabulations of Recursive Functions
Lecture Notes in Computer Science | 2008-08-28 | Paper |
FUNCTIONAL PEARL: Enumerating the rationals
Journal of Functional Programming | 2006-06-09 | Paper |
FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming
Journal of Functional Programming | 2006-01-13 | Paper |
Countdown: A case study in origami programming
Journal of Functional Programming | 2005-10-11 | Paper |
FUNCTIONAL PEARL <i>Inverting the Burrows–Wheeler transform</i>
Journal of Functional Programming | 2005-03-21 | Paper |
FUNCTIONAL PEARL <i>On tiling a chessboard</i>
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 |
Maximum marking problems
Journal of Functional Programming | 2001-11-21 | Paper |
Unfolding pointer algorithms
Journal of Functional Programming | 2001-07-23 | Paper |
Generalised folds for nested datatypes
Formal Aspects of Computing | 2000-02-06 | Paper |
Meertens number
Journal of Functional Programming | 1999-11-21 | Paper |
de Bruijn notation as a nested datatype
Journal of Functional Programming | 1999-06-28 | Paper |
| scientific article; zbMATH DE number 1086709 (Why is no real title available?) | 1998-05-25 | Paper |
FUNCTIONAL PEARL
Journal of Functional Programming | 1998-02-25 | Paper |
FUNCTIONAL PEARL On building trees with minimum height
Journal of Functional Programming | 1998-01-07 | Paper |
| scientific article; zbMATH DE number 977284 (Why is no real title available?) | 1997-02-11 | Paper |
Functional algorithm design
Science of Computer Programming | 1996-12-12 | Paper |
Generic functional programming with types and relations
Journal of Functional Programming | 1996-08-21 | Paper |
| scientific article; zbMATH DE number 910715 (Why is no real title available?) | 1996-07-28 | Paper |
| scientific article; zbMATH DE number 512948 (Why is no real title available?) | 1994-04-07 | Paper |
List partitions
Formal Aspects of Computing | 1993-06-29 | Paper |
The smallest upravel
Science of Computer Programming | 1992-09-27 | Paper |
Formal derivation of a pattern matching algorithm
Science of Computer Programming | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4045132 (Why is no real title available?) | 1987-01-01 | Paper |
A formal development of an efficient supercombination compiler
Science of Computer Programming | 1987-01-01 | Paper |
Transformational programming and the paragraph problem
Science of Computer Programming | 1986-01-01 | Paper |
Using circular programs to eliminate multiple traversals of data
Acta Informatica | 1984-01-01 | Paper |
The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
The jogger's problem
Information Processing Letters | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3731318 (Why is no real title available?) | 1980-01-01 | Paper |
Recursion elimination with variable parameters
The Computer Journal | 1979-01-01 | Paper |
Improving programs by the introduction of recursion
Communications of the ACM | 1977-01-01 | Paper |
Notes on recursion elimination
Communications of the ACM | 1977-01-01 | Paper |
Non recursive functionals
Mathematical Logic Quarterly | 1975-01-01 | Paper |
On transformations of programs
Journal of Computer and System Sciences | 1974-01-01 | Paper |
Speeding up Programs
The Computer Journal | 1974-01-01 | Paper |
A note on definition by cases
Mathematical Logic Quarterly | 1973-01-01 | Paper |
Integers with Given Initial Digits
The American Mathematical Monthly | 1972-01-01 | Paper |
