Ralf Hinze

J. Funct. Program., 2023

2022

Super-naturals.

[BibT_eX]

[DOI]

Colin Runciman

J. Funct. Program., 2022

Calculating Datastructures.

[BibT_eX]

[DOI]

Lambert G. L. T. Meertens

Wouter Swierstra

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021

Algorithmics.

[BibT_eX]

[DOI]

Proceedings of the Advancing Research in Information and Communication Technology, 2021

2019

Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Relational algebra by way of adjunctions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Parberry's pairwise sorting network revealed.

[BibT_eX]

[DOI]

Clare Martin

J. Funct. Program., 2018

Batcher's odd-even merging network revealed.

[BibT_eX]

[DOI]

Clare Martin

J. Funct. Program., 2018

On constructing 2-3 trees.

[BibT_eX]

[DOI]

J. Funct. Program., 2018

2017

A Logical Reconstruction of Batcher's Mergers <i>Or: </i> Bitonicity is a Red Herring.

[BibT_eX]

[DOI]

Clare Martin

J. Univers. Comput. Sci., 2017

2016

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.

[BibT_eX]

[DOI]

Dan Marsden

J. Log. Algebraic Methods Program., 2016

Unifying structured recursion schemes - An Extended Study.

[BibT_eX]

[DOI]

J. Funct. Program., 2016

Dragging Proofs Out of Pictures.

[BibT_eX]

[DOI]

Dan Marsden

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.

[BibT_eX]

[DOI]

Jeremy Gibbons

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Effect handlers in scope.

[BibT_eX]

[DOI]

Tom Schrijvers

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Adjoint folds and unfolds - An extended study.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Unifying structured recursion schemes.

[BibT_eX]

[DOI]

Jeremy Gibbons

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Histo- and dynamorphisms revisited.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

A Duality of Sorts.

[BibT_eX]

[DOI]

José Pedro Magalhães

Proceedings of the Beauty of Functional Code, 2013

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries.

[BibT_eX]

[DOI]

Fritz Henglein

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Sorting with bialgebras and distributive laws.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

Typed quote/antiquote or: Compile-time parsing.

[BibT_eX]

[DOI]

J. Funct. Program., 2011

Towards a categorical foundation for generic programming.

[BibT_eX]

[DOI]

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Proving the unique fixed-point principle correct: an adventure with category theory.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Just do it: simple monadic equational reasoning.

[BibT_eX]

[DOI]

Jeremy Gibbons

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Special Issue on Generic Programming Editorial.

[BibT_eX]

[DOI]

J. Funct. Program., 2010

Concrete stream calculus: An extended study.

[BibT_eX]

[DOI]

J. Funct. Program., 2010

Generic Programming with Adjunctions.

[BibT_eX]

[DOI]

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Adjoint Folds and Unfolds.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Theory and Practice of Fusion.

[BibT_eX]

[DOI]

Thomas Harper

Proceedings of the Implementation and Application of Functional Languages, 2010

Reason isomorphically!

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Type Fusion.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Generic programming in 3D.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Purely Functional 1-2 Brother Trees.

[BibT_eX]

[DOI]

J. Funct. Program., 2009

The Bird Tree.

[BibT_eX]

[DOI]

J. Funct. Program., 2009

A Reflection-based Proof Tactic for Lattices in Coq.

[BibT_eX]

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Functional pearl: la tour d'Hanoï.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Reasoning about Codata.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Exploiting Unique Fixed Points.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Scans and Convolutions - A Calculational Proof of Moessner's Theorem.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2008

Functional pearl: streams and unique fixed points.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Finger trees: a simple general-purpose data structure.

[BibT_eX]

[DOI]

Ross Paterson

J. Funct. Program., 2006

Generics for the masses.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

Generic Programming, Now!

[BibT_eX]

[DOI]

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Comparing Approaches to Generic Programming in Haskell.

[BibT_eX]

[DOI]

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Extensible and modular generics for the masses.

[BibT_eX]

Bruno C. d. S. Oliveira

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Open data types and open functions.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

"Scrap Your Boilerplate" Revolutions.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

"Scrap Your Boilerplate" Reloaded.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Typed Contracts for Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Church numerals, twice!

[BibT_eX]

[DOI]

J. Funct. Program., 2005

2004

Type-indexed data types.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

Special issue on functional pearls Editorial.

[BibT_eX]

[DOI]

J. Funct. Program., 2004

An Algebra of Scans.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Formatting: a class act.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Functional Pearl trouble shared is trouble halved.

[BibT_eX]

[DOI]

Richard S. Bird

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Generic Haskell: Applications.

[BibT_eX]

[DOI]

Proceedings of the Generic Programming - Advanced Lectures, 2003

Generic Haskell: Practice and Theory.

[BibT_eX]

[DOI]

Proceedings of the Generic Programming - Advanced Lectures, 2003

2002

Polytypic values possess polykinded types.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

A fresh look at binary search trees.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Bootstrapping one-sided flexible arrays.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

A lightweight implementation of generics and dynamics.

[BibT_eX]

[DOI]

James Cheney

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001

Weaving a web.

[BibT_eX]

[DOI]

J. Funct. Program., 2001

Manufacturing datatypes.

[BibT_eX]

[DOI]

J. Funct. Program., 2001

Polytypic Programming With Ease.

[BibT_eX]

J. Funct. Log. Program., 2001

Prolog's Control Constructs in a Functional Setting - Axioms and Implementation.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2001

A Simple Implementation Technique for Priority Search Queues.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Generalizing generalized tries.

[BibT_eX]

[DOI]

J. Funct. Program., 2000

Perfect trees and bit-reversal permutations.

[BibT_eX]

[DOI]

J. Funct. Program., 2000

Derivable Type Classes.

[BibT_eX]

[DOI]

Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

A New Approach to Generic Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the POPL 2000, 2000

Deriving backtracking monad transformers.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

Explaining Binomial Heaps.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

Polytypic Functions Over Nested Datatypes.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 1999

Polytypic Programming With Ease (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Prological Features in a Functional Setting Axioms and Implementation.

[BibT_eX]

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996

Projektionsbasierte Striktheitsanalyse.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

1995

Projection-based strictness analysis - theoretical and practical aspects.

[BibT_eX]

[DOI]

PhD thesis, 1995

1994

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung

[BibT_eX]

Armin B. Cremers

Ulrike Griefahn

Vieweg, ISBN: 3-528-04700-3, 1994

1992

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.

[BibT_eX]

Armin B. Cremers

Elmar Eder

Proceedings of the Künstliche Intelligenz, 1992

Einführung in die funktionale Programmierung mit Miranda.

[BibT_eX]