| 2022 | MPC | Calculating Datastructures. | Ralf Hinze, Wouter Swierstra |
| 2019 | MPC | Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. | Ralf Hinze |
| 2015 | POPL | Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2014 | HASKELL | Effect handlers in scope. | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
| 2013 | APLAS | Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. | Fritz Henglein, Ralf Hinze |
| 2013 | ICFP | Histo- and dynamorphisms revisited. | Ralf Hinze, Nicolas Wu |
| 2013 | ICFP | Unifying structured recursion schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2012 | ICFP | Sorting with bialgebras and distributive laws. | Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, Jos Pedro Magalhes |
| 2012 | MPC | Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. | Ralf Hinze |
| 2011 | ICFP | Just do it: simple monadic equational reasoning. | Jeremy Gibbons, Ralf Hinze |
| 2011 | ICFP | Proving the unique fixed-point principle correct: an adventure with category theory. | Ralf Hinze, Daniel W. H. James |
| 2011 | ICFP | Towards a categorical foundation for generic programming. | Ralf Hinze, Nicolas Wu |
| 2010 | ICFP | Reason isomorphically! | Ralf Hinze, Daniel W. H. James |
| 2010 | MPC | Adjoint Folds and Unfolds. | Ralf Hinze |
| 2009 | ICFP | Functional pearl: la tour d'Hano. | Ralf Hinze |
| 2008 | ICFP | Functional pearl: streams and unique fixed points. | Ralf Hinze |
| 2008 | MPC | Exploiting Unique Fixed Points. | Ralf Hinze |
| 2006 | FLOPS | Typed Contracts for Functional Programming. | Ralf Hinze, Johan Jeuring, Andres Lh |
| 2006 | FLOPS | "Scrap Your Boilerplate" Reloaded. | Ralf Hinze, Andres Lh, Bruno C. d. S. Oliveira |
| 2006 | MPC | "Scrap Your Boilerplate" Revolutions. | Ralf Hinze, Andres Lh |
| 2006 | PPDP | Open data types and open functions. | Andres Lh, Ralf Hinze |
| 2004 | ICFP | Generics for the masses. | Ralf Hinze |
| 2004 | MPC | An Algebra of Scans. | Ralf Hinze |
| 2003 | HASKELL | Functional Pearl trouble shared is trouble halved. | Richard S. Bird, Ralf Hinze |
| 2002 | HASKELL | A lightweight implementation of generics and dynamics. | James Cheney, Ralf Hinze |
| 2002 | ICFP | Bootstrapping one-sided flexible arrays. | Ralf Hinze |
| 2002 | MPC | Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. | Ralf Hinze |
| 2002 | MPC | Type-Indexed Data Types. | Ralf Hinze, Johan Jeuring, Andres Lh |
| 2001 | ICFP | A Simple Implementation Technique for Priority Search Queues. | Ralf Hinze |
| 2000 | ICFP | Deriving backtracking monad transformers. | Ralf Hinze |
| 2000 | MPC | Polytypic Values Possess Polykinded Types. | Ralf Hinze |
| 2000 | POPL | A New Approach to Generic Functional Programming. | Ralf Hinze |
| 1999 | FLOPS | Polytypic Programming With Ease (Extended Abstract). | Ralf Hinze |
| 1998 | FLOPS | Prological Features in a Functional Setting Axioms and Implementation. | Ralf Hinze |