Einführung in die funktionale Programmierung mit Miranda. - Ralf Hinze (Teubner, 1992)

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz. - Armin B. Cremers; Elmar Eder; Ralf Hinze (Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit (1), 1992)

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung - Armin B. Cremers; Ulrike Griefahn; Ralf Hinze (Vieweg, 1994)

Projection-based strictness analysis - theoretical and practical aspects. - Ralf Hinze (1995)

Projektionsbasierte Striktheitsanalyse. - Ralf Hinze (Ausgezeichnete Informatikdissertationen, 1996)

Prological Features in a Functional Setting Axioms and Implementation. - Ralf Hinze (Fuji International Symposium on Functional and Logic Programming, 1998)

Polytypic Programming With Ease (Extended Abstract). - Ralf Hinze (Fuji International Symposium on Functional and Logic Programming, 1999)

Polytypic Functions Over Nested Datatypes. - Ralf Hinze (Discret. Math. Theor. Comput. Sci., 1999)

Explaining Binomial Heaps. - Ralf Hinze (J. Funct. Program., 1999)

Deriving backtracking monad transformers. - Ralf Hinze (ICFP, 2000)

A New Approach to Generic Functional Programming. - Ralf Hinze (POPL, 2000)

Derivable Type Classes. - Ralf Hinze; Simon L. Peyton Jones (Haskell, 2000)

Perfect trees and bit-reversal permutations. - Ralf Hinze (J. Funct. Program., 2000)

Generalizing generalized tries. - Ralf Hinze (J. Funct. Program., 2000)

A Simple Implementation Technique for Priority Search Queues. - Ralf Hinze (ICFP, 2001)

Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. - Ralf Hinze (Int. J. Found. Comput. Sci., 2001)

Polytypic Programming With Ease. - Ralf Hinze (J. Funct. Log. Program., 2001)

Manufacturing datatypes. - Ralf Hinze (J. Funct. Program., 2001)

Weaving a web. - Ralf Hinze; Johan Jeuring (J. Funct. Program., 2001)

A lightweight implementation of generics and dynamics. - James Cheney; Ralf Hinze (Haskell, 2002)

Bootstrapping one-sided flexible arrays. - Ralf Hinze (ICFP, 2002)

Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. - Ralf Hinze (MPC, 2002)

A fresh look at binary search trees. - Ralf Hinze (J. Funct. Program., 2002)

Polytypic values possess polykinded types. - Ralf Hinze (Sci. Comput. Program., 2002)

Generic Haskell: Practice and Theory. - Ralf Hinze; Johan Jeuring (Generic Programming, 2003)

Generic Haskell: Applications. - Ralf Hinze; Johan Jeuring (Generic Programming, 2003)

Functional Pearl trouble shared is trouble halved. - Richard S. Bird; Ralf Hinze (Haskell, 2003)

Formatting: a class act. - Ralf Hinze (J. Funct. Program., 2003)

An Algebra of Scans. - Ralf Hinze (MPC, 2004)

Special issue on functional pearls Editorial. - Ralf Hinze (J. Funct. Program., 2004)

Type-indexed data types. - Ralf Hinze; Johan Jeuring; Andres Löh (Sci. Comput. Program., 2004)

Church numerals, twice! - Ralf Hinze (J. Funct. Program., 2005)

Typed Contracts for Functional Programming. - Ralf Hinze; Johan Jeuring; Andres Löh (FLOPS, 2006)

"Scrap Your Boilerplate" Reloaded. - Ralf Hinze; Andres Löh; Bruno C. d. S. Oliveira (FLOPS, 2006)

"Scrap Your Boilerplate" Revolutions. - Ralf Hinze; Andres Löh (MPC, 2006)

Open data types and open functions. - Andres Löh; Ralf Hinze (PPDP, 2006)

Extensible and modular generics for the masses. - Bruno C. d. S. Oliveira; Ralf Hinze; Andres Löh (Trends in Functional Programming, 2006)

Comparing Approaches to Generic Programming in Haskell. - Ralf Hinze; Johan Jeuring; Andres Löh (SSDGP, 2006)

Generic Programming, Now! - Ralf Hinze; Andres Löh (SSDGP, 2006)

Generics for the masses. - Ralf Hinze (J. Funct. Program., 2006)

Finger trees: a simple general-purpose data structure. - Ralf Hinze; Ross Paterson (J. Funct. Program., 2006)

Functional pearl: streams and unique fixed points. - Ralf Hinze (ICFP, 2008)

Scans and Convolutions - A Calculational Proof of Moessner's Theorem. - Ralf Hinze (IFL, 2008)

Exploiting Unique Fixed Points. - Ralf Hinze (MPC, 2008)

Reasoning about Codata. - Ralf Hinze (CEFP, 2009)

Functional pearl: la tour d'Hanoï. - Ralf Hinze (ICFP, 2009)

A Reflection-based Proof Tactic for Lattices in Coq. - Daniel W. H. James; Ralf Hinze (Trends in Functional Programming, 2009)

The Bird Tree. - Ralf Hinze (J. Funct. Program., 2009)

Purely Functional 1-2 Brother Trees. - Ralf Hinze (J. Funct. Program., 2009)

Generic programming in 3D. - Ralf Hinze; Andres Löh (Sci. Comput. Program., 2009)

Type Fusion. - Ralf Hinze (AMAST, 2010)

Reason isomorphically! - Ralf Hinze; Daniel W. H. James (ICFP-WGP, 2010)

Theory and Practice of Fusion. - Ralf Hinze; Thomas Harper; Daniel W. H. James (IFL, 2010)

Adjoint Folds and Unfolds. - Ralf Hinze (MPC, 2010)

Generic Programming with Adjunctions. - Ralf Hinze (SSGIP, 2010)

Concrete stream calculus: An extended study. - Ralf Hinze (J. Funct. Program., 2010)

Special Issue on Generic Programming Editorial. - Ralf Hinze (J. Funct. Program., 2010)

Just do it: simple monadic equational reasoning. - Jeremy Gibbons; Ralf Hinze (ICFP, 2011)

Proving the unique fixed-point principle correct: an adventure with category theory. - Ralf Hinze; Daniel W. H. James (ICFP, 2011)

Towards a categorical foundation for generic programming. - Ralf Hinze; Nicolas Wu (WGP@ICFP, 2011)

Typed quote/antiquote or: Compile-time parsing. - Ralf Hinze (J. Funct. Program., 2011)

Sorting with bialgebras and distributive laws. - Ralf Hinze; Daniel W. H. James; Thomas Harper; Nicolas Wu; José Pedro Magalhães (WGP@ICFP, 2012)

Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. - Ralf Hinze (MPC, 2012)

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. - Fritz Henglein; Ralf Hinze (APLAS, 2013)

A Duality of Sorts. - Ralf Hinze; José Pedro Magalhães; Nicolas Wu (The Beauty of Functional Code, 2013)

Histo- and dynamorphisms revisited. - Ralf Hinze; Nicolas Wu (WGP@ICFP, 2013)

Unifying structured recursion schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (ICFP, 2013)

Adjoint folds and unfolds - An extended study. - Ralf Hinze (Sci. Comput. Program., 2013)

Effect handlers in scope. - Nicolas Wu; Tom Schrijvers; Ralf Hinze (Haskell, 2014)

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (POPL, 2015)

Dragging Proofs Out of Pictures. - Ralf Hinze; Dan Marsden (A List of Successes That Can Change the World, 2016)

Unifying structured recursion schemes - An Extended Study. - Ralf Hinze; Nicolas Wu (J. Funct. Program., 2016)

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. - Ralf Hinze; Dan Marsden (J. Log. Algebraic Methods Program., 2016)

A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring. - Ralf Hinze; Clare Martin 001 (J. Univers. Comput. Sci., 2017)

On constructing 2-3 trees. - Ralf Hinze (J. Funct. Program., 2018)

Batcher's odd-even merging network revealed. - Ralf Hinze; Clare Martin 001 (J. Funct. Program., 2018)

Parberry's pairwise sorting network revealed. - Ralf Hinze; Clare Martin 001 (J. Funct. Program., 2018)

Relational algebra by way of adjunctions. - Jeremy Gibbons; Fritz Henglein; Ralf Hinze; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. - Ralf Hinze (MPC, 2019)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)

Calculating Datastructures. - Ralf Hinze; Wouter Swierstra (MPC, 2022)

Super-naturals. - Ralf Hinze; Colin Runciman (J. Funct. Program., 2022)

What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. - Alexander Dinges; Ralf Hinze (IFL, 2023)

Certified, total serialisers with an application to Huffman encoding. - Ralf Hinze (J. Funct. Program., 2023)

Binary search - think positive. - Alexander Dinges; Ralf Hinze (J. Funct. Program., 2025)

The graphical theory of monads. - Ralf Hinze; Dan Marsden (J. Funct. Program., 2025)