Ralf Hinze

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Certified, total serialisers with an application to Huffman encoding	2024-04-18	Paper
Calculating datastructures	2023-06-30	Paper
Introducing String Diagrams	2023-05-03	Paper
Super-naturals	2022-03-17	Paper
Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata	2020-05-05	Paper
On constructing 2-3 trees	2019-02-20	Paper
Parberry’s pairwise sorting network revealed	2019-02-20	Paper
Unifying structured recursion schemes	2017-10-23	Paper
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers	2016-12-15	Paper
Conjugate Hylomorphisms -- Or	2016-09-29	Paper
Dragging Proofs Out of Pictures	2016-08-17	Paper
Bootstrapping one-sided flexible arrays	2015-10-07	Paper
Deriving backtracking monad transformers	2015-09-11	Paper
PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION	2015-04-30	Paper
Unifying structured recursion schemes	2015-03-30	Paper
A new approach to generic functional programming	2015-03-17	Paper
Functional pearl	2015-03-16	Paper
A simple implementation technique for priority search queues	2015-03-09	Paper
Generics for the masses	2015-03-09	Paper
Just do it	2015-03-05	Paper
Proving the unique fixed-point principle correct	2015-03-05	Paper
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries	2015-01-12	Paper
Functional pearl	2015-01-06	Paper
A Duality of Sorts	2014-04-16	Paper
Derivable Type Classes	2013-05-10	Paper
Generic Programming with Adjunctions	2012-11-21	Paper
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick	2012-09-05	Paper
Concrete stream calculus: An extended study	2011-07-25	Paper
Typed quote/antiquote or: Compile-time parsing	2011-07-14	Paper
Type Fusion	2011-01-21	Paper
Adjoint Folds and Unfolds	2010-07-26	Paper
Generic Programming	2010-03-09	Paper
Generic Programming	2010-03-09	Paper
Purely Functional 1-2 Brother Trees	2009-11-25	Paper
The Bird Tree	2009-11-13	Paper
Generic programming in 3D	2009-07-24	Paper
“Scrap Your Boilerplate” Revolutions	2009-04-02	Paper
“Scrap Your Boilerplate” Reloaded	2007-05-02	Paper
Typed Contracts for Functional Programming	2007-05-02	Paper
Generics for the masses	2006-08-28	Paper
Finger trees: a simple general-purpose data structure	2006-03-22	Paper
Mathematics of Program Construction	2005-08-26	Paper
THEORETICAL PEARL Church numerals, twice!	2005-04-05	Paper
Type-indexed data types	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808691	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808692	2004-08-12	Paper
Formatting: a class act	2004-03-29	Paper
Polytypic values possess polykinded types	2002-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q2766767	2002-07-22	Paper
A fresh look at binary search trees	2002-01-01	Paper
Manufacturing datatypes	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2726288	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q2721090	2001-07-01	Paper
Weaving a web	2001-01-01	Paper
Generalizing generalized tries	2000-12-03	Paper
Perfect trees and bit-reversal permutations	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3836527	1999-12-09	Paper
Explaining binomial heaps	1999-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3130262	1997-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4286742	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4023827	1993-01-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ralf Hinze