List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Certified, total serialisers with an application to Huffman encoding Journal of Functional Programming | 2024-04-18 | Paper |
| Calculating datastructures Lecture Notes in Computer Science | 2023-06-30 | Paper |
| Introducing String Diagrams | 2023-05-03 | Paper |
| Super-naturals Journal of Functional Programming | 2022-03-17 | Paper |
| Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata | 2020-05-05 | Paper |
| On constructing 2-3 trees Journal of Functional Programming | 2019-02-20 | Paper |
| Parberry’s pairwise sorting network revealed Journal of Functional Programming | 2019-02-20 | Paper |
| Unifying structured recursion schemes. An extended study Journal of Functional Programming | 2017-10-23 | Paper |
| Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
| Conjugate hylomorphisms -- or: the mother of all structured recursion schemes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Dragging proofs out of pictures A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Bootstrapping one-sided flexible arrays Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Deriving backtracking monad transformers Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Prolog's control constructs in a functional setting -- axioms and implementation International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
| Unifying structured recursion schemes Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| A new approach to generic functional programming Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Functional pearl: streams and unique fixed points Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| A simple implementation technique for priority search queues Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Generics for the masses Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Just do it Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Proving the unique fixed-point principle correct: an adventure with category theory Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Sorting and searching by distribution: from generic discrimination to generic tries Programming Languages and Systems | 2015-01-12 | Paper |
| Functional pearl Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| A duality of sorts Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Derivable type classes Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Generic programming with adjunctions Lecture Notes in Computer Science | 2012-11-21 | Paper |
| Kan extensions for program optimisation Or: Art and Dan explain an old trick Lecture Notes in Computer Science | 2012-09-05 | Paper |
| Concrete stream calculus: an extended study Journal of Functional Programming | 2011-07-25 | Paper |
| Typed quote/antiquote or: compile-time parsing Journal of Functional Programming | 2011-07-14 | Paper |
| Type Fusion Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
| Adjoint folds and unfolds. Or: Scything through the thicket of morphisms Lecture Notes in Computer Science | 2010-07-26 | Paper |
| Generic Programming Lecture Notes in Computer Science | 2010-03-09 | Paper |
| Generic Haskell: applications. Lecture Notes in Computer Science | 2010-03-09 | Paper |
| Purely Functional 1-2 Brother Trees Journal of Functional Programming | 2009-11-25 | Paper |
| The Bird Tree Journal of Functional Programming | 2009-11-13 | Paper |
| Generic programming in 3D Science of Computer Programming | 2009-07-24 | Paper |
| “Scrap Your Boilerplate” Revolutions Lecture Notes in Computer Science | 2009-04-02 | Paper |
| Typed Contracts for Functional Programming Functional and Logic Programming | 2007-05-02 | Paper |
| “Scrap Your Boilerplate” Reloaded Functional and Logic Programming | 2007-05-02 | Paper |
| Generics for the masses Journal of Functional Programming | 2006-08-28 | Paper |
| Finger trees: a simple general-purpose data structure Journal of Functional Programming | 2006-03-22 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| THEORETICAL PEARL Church numerals, twice! Journal of Functional Programming | 2005-04-05 | Paper |
| Type-indexed data types Science of Computer Programming | 2004-10-04 | Paper |
| scientific article; zbMATH DE number 2090024 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090025 (Why is no real title available?) | 2004-08-12 | Paper |
| Formatting: a class act Journal of Functional Programming | 2004-03-29 | Paper |
| Polytypic values possess polykinded types Science of Computer Programming | 2002-10-16 | Paper |
| scientific article; zbMATH DE number 1696584 (Why is no real title available?) | 2002-07-22 | Paper |
| A fresh look at binary search trees Journal of Functional Programming | 2002-01-01 | Paper |
| Manufacturing datatypes Journal of Functional Programming | 2001-11-21 | Paper |
| Polytypic programming with ease The Journal of Functional and Logic Programming | 2001-07-31 | Paper |
| scientific article; zbMATH DE number 1612483 (Why is no real title available?) | 2001-07-01 | Paper |
| Weaving a web Journal of Functional Programming | 2001-01-01 | Paper |
| Generalizing generalized tries Journal of Functional Programming | 2000-12-03 | Paper |
| Perfect trees and bit-reversal permutations Journal of Functional Programming | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1375587 (Why is no real title available?) | 1999-12-09 | Paper |
| scientific article; zbMATH DE number 1375587 (Why is no real title available?) | 1999-12-09 | Paper |
| Explaining binomial heaps Journal of Functional Programming | 1999-06-28 | Paper |
| scientific article; zbMATH DE number 1002941 (Why is no real title available?) | 1997-04-23 | Paper |
| scientific article; zbMATH DE number 545140 (Why is no real title available?) | 1994-04-07 | Paper |
| scientific article; zbMATH DE number 108367 (Why is no real title available?) | 1993-01-23 | Paper |
Research outcomes over time
This page was built for person: Ralf Hinze
