Ralf Hinze

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 13

Top Venues

J. Funct. Program.

MPC

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

University of Bonn, Germany (PHD)

Education History

University of Bonn, Germany

PHD

Publications

Ralf Hinze
Certified, total serialisers with an application to Huffman encoding. J. Funct. Program. 33 (2023)
Alexander Dinges, Ralf Hinze
What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. IFL (2023)
Ralf Hinze, Wouter Swierstra
Calculating Datastructures. MPC (2022)
Ralf Hinze, Colin Runciman
Super-naturals. J. Funct. Program. 32 (2022)
Ralf Hinze
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. MPC (2019)
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Ralf Hinze
On constructing 2-3 trees. J. Funct. Program. 28 (2018)
Ralf Hinze, Clare Martin
Batcher's odd-even merging network revealed. J. Funct. Program. 28 (2018)
Ralf Hinze, Clare Martin
Parberry's pairwise sorting network revealed. J. Funct. Program. 28 (2018)
Ralf Hinze, Clare Martin
Bitonicity is a Red Herring. J. Univers. Comput. Sci. 23 (1) (2017)
Ralf Hinze, Dan Marsden
Dragging Proofs Out of Pictures. A List of Successes That Can Change the World (2016)
Ralf Hinze, Dan Marsden
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. J. Log. Algebraic Methods Program. 85 (5) (2016)
Ralf Hinze, Nicolas Wu
Unifying structured recursion schemes - An Extended Study. J. Funct. Program. 26 (2016)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL (2015)
Nicolas Wu, Tom Schrijvers, Ralf Hinze
Effect handlers in scope. Haskell (2014)
Ralf Hinze
Adjoint folds and unfolds - An extended study. Sci. Comput. Program. 78 (11) (2013)
Fritz Henglein, Ralf Hinze
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. APLAS (2013)
Ralf Hinze, José Pedro Magalhães, Nicolas Wu
A Duality of Sorts. The Beauty of Functional Code (2013)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Unifying structured recursion schemes. ICFP (2013)
Ralf Hinze, Nicolas Wu
Histo- and dynamorphisms revisited. WGP@ICFP (2013)
Ralf Hinze
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. MPC (2012)
Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
Sorting with bialgebras and distributive laws. WGP@ICFP (2012)
Ralf Hinze, Daniel W. H. James
Proving the unique fixed-point principle correct: an adventure with category theory. ICFP (2011)
Ralf Hinze
Typed quote/antiquote or: Compile-time parsing. J. Funct. Program. 21 (3) (2011)
Jeremy Gibbons, Ralf Hinze
Just do it: simple monadic equational reasoning. ICFP (2011)
Ralf Hinze, Nicolas Wu
Towards a categorical foundation for generic programming. WGP@ICFP (2011)
Ralf Hinze, Thomas Harper, Daniel W. H. James
Theory and Practice of Fusion. IFL (2010)
Ralf Hinze, Daniel W. H. James
Reason isomorphically! ICFP-WGP (2010)
Ralf Hinze
Concrete stream calculus: An extended study. J. Funct. Program. 20 (5-6) (2010)
Ralf Hinze
Adjoint Folds and Unfolds. MPC (2010)
Ralf Hinze
Generic Programming with Adjunctions. SSGIP (2010)
Ralf Hinze
Special Issue on Generic Programming Editorial. J. Funct. Program. 20 (3-4) (2010)
Ralf Hinze
Type Fusion. AMAST (2010)
Ralf Hinze, Andres Löh
Generic programming in 3D. Sci. Comput. Program. 74 (8) (2009)
Ralf Hinze
The Bird Tree. J. Funct. Program. 19 (5) (2009)
Daniel W. H. James, Ralf Hinze
A Reflection-based Proof Tactic for Lattices in Coq. Trends in Functional Programming (2009)
Ralf Hinze
Reasoning about Codata. CEFP (2009)
Ralf Hinze
Purely Functional 1-2 Brother Trees. J. Funct. Program. 19 (6) (2009)
Ralf Hinze
Functional pearl: la tour d'Hanoï. ICFP (2009)
Ralf Hinze
Exploiting Unique Fixed Points. MPC (2008)
Ralf Hinze
Functional pearl: streams and unique fixed points. ICFP (2008)
Ralf Hinze
Scans and Convolutions - A Calculational Proof of Moessner's Theorem. IFL (2008)
Ralf Hinze, Johan Jeuring, Andres Löh
Comparing Approaches to Generic Programming in Haskell. SSDGP (2006)
Ralf Hinze, Andres Löh
Generic Programming, Now! SSDGP (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Typed Contracts for Functional Programming. FLOPS (2006)
Ralf Hinze, Andres Löh
"Scrap Your Boilerplate" Revolutions. MPC (2006)
Andres Löh, Ralf Hinze
Open data types and open functions. PPDP (2006)
Ralf Hinze
Generics for the masses. J. Funct. Program. 16 (4-5) (2006)
Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
"Scrap Your Boilerplate" Reloaded. FLOPS (2006)
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
Extensible and modular generics for the masses. Trends in Functional Programming (2006)
Ralf Hinze, Ross Paterson
Finger trees: a simple general-purpose data structure. J. Funct. Program. 16 (2) (2006)
Ralf Hinze
Church numerals, twice! J. Funct. Program. 15 (1) (2005)
Ralf Hinze, Johan Jeuring, Andres Löh
Type-indexed data types. Sci. Comput. Program. 51 (1-2) (2004)
Ralf Hinze
Generics for the masses. ICFP (2004)
Ralf Hinze
Special issue on functional pearls Editorial. J. Funct. Program. 14 (6) (2004)
Ralf Hinze
An Algebra of Scans. MPC (2004)
Ralf Hinze, Johan Jeuring
Generic Haskell: Applications. Generic Programming (2003)
Ralf Hinze
Formatting: a class act. J. Funct. Program. 13 (5) (2003)
Ralf Hinze, Johan Jeuring
Generic Haskell: Practice and Theory. Generic Programming (2003)
Richard S. Bird, Ralf Hinze
Functional Pearl trouble shared is trouble halved. Haskell (2003)
Ralf Hinze
A fresh look at binary search trees. J. Funct. Program. 12 (6) (2002)
Ralf Hinze, Johan Jeuring, Andres Löh
Type-Indexed Data Types. MPC (2002)
Ralf Hinze
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. MPC (2002)
Ralf Hinze
Bootstrapping one-sided flexible arrays. ICFP (2002)
James Cheney, Ralf Hinze
A lightweight implementation of generics and dynamics. Haskell (2002)
Ralf Hinze
Polytypic values possess polykinded types. Sci. Comput. Program. 43 (2-3) (2002)
Ralf Hinze
Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. Int. J. Found. Comput. Sci. 12 (2) (2001)
Ralf Hinze
A Simple Implementation Technique for Priority Search Queues. ICFP (2001)
Ralf Hinze
Manufacturing datatypes. J. Funct. Program. 11 (5) (2001)
Ralf Hinze
Polytypic Programming With Ease. J. Funct. Log. Program. 2001 (3) (2001)
Ralf Hinze, Johan Jeuring
Weaving a web. J. Funct. Program. 11 (6) (2001)
Ralf Hinze, Simon L. Peyton Jones
Derivable Type Classes. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Ralf Hinze
Deriving backtracking monad transformers. ICFP (2000)
Ralf Hinze
Perfect trees and bit-reversal permutations. J. Funct. Program. 10 (3) (2000)
Ralf Hinze
A New Approach to Generic Functional Programming. POPL (2000)
Ralf Hinze
Polytypic Values Possess Polykinded Types. MPC (2000)
Ralf Hinze
Generalizing generalized tries. J. Funct. Program. 10 (4) (2000)
Ralf Hinze
Polytypic Programming With Ease (Extended Abstract). Fuji International Symposium on Functional and Logic Programming (1999)
Ralf Hinze
Polytypic Functions Over Nested Datatypes. Discret. Math. Theor. Comput. Sci. 3 (4) (1999)
Ralf Hinze
Explaining Binomial Heaps. J. Funct. Program. 9 (1) (1999)
Ralf Hinze
Prological Features in a Functional Setting Axioms and Implementation. Fuji International Symposium on Functional and Logic Programming (1998)
Ralf Hinze
Projektionsbasierte Striktheitsanalyse. Ausgezeichnete Informatikdissertationen (1996)

Ralf Hinze.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ralf Hinze