Ralf Hinze

Orcid: 0000-0001-5678-0286

Affiliations:
  • University of Oxford, UK


According to our database1, Ralf Hinze authored at least 84 papers between 1992 and 2023.

Collaborative distances:

Timeline

1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
1
1
1
1
4
1
2
1
1
2
3
2
1
2
1
2
4
2
2
1
1
1
1
1
1
4
2
3
5
3
3
7
1
3
3
1
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Certified, total serialisers with an application to Huffman encoding.
J. Funct. Program., 2023

What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation.
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2022
Super-naturals.
J. Funct. Program., 2022

Calculating Datastructures.
Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021
Algorithmics.
Proceedings of the Advancing Research in Information and Communication Technology, 2021

2019
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018
Relational algebra by way of adjunctions.
Proc. ACM Program. Lang., 2018

Parberry's pairwise sorting network revealed.
J. Funct. Program., 2018

Batcher's odd-even merging network revealed.
J. Funct. Program., 2018

On constructing 2-3 trees.
J. Funct. Program., 2018

2017
A Logical Reconstruction of Batcher's Mergers <i>Or: </i> Bitonicity is a Red Herring.
J. Univers. Comput. Sci., 2017

2016
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.
J. Log. Algebraic Methods Program., 2016

Unifying structured recursion schemes - An Extended Study.
J. Funct. Program., 2016

Dragging Proofs Out of Pictures.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Effect handlers in scope.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013
Adjoint folds and unfolds - An extended study.
Sci. Comput. Program., 2013

Unifying structured recursion schemes.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Histo- and dynamorphisms revisited.
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

A Duality of Sorts.
Proceedings of the Beauty of Functional Code, 2013

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Sorting with bialgebras and distributive laws.
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

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

Towards a categorical foundation for generic programming.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Proving the unique fixed-point principle correct: an adventure with category theory.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Just do it: simple monadic equational reasoning.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
Special Issue on Generic Programming Editorial.
J. Funct. Program., 2010

Concrete stream calculus: An extended study.
J. Funct. Program., 2010

Generic Programming with Adjunctions.
Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Adjoint Folds and Unfolds.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Theory and Practice of Fusion.
Proceedings of the Implementation and Application of Functional Languages, 2010

Reason isomorphically!
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Type Fusion.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
Generic programming in 3D.
Sci. Comput. Program., 2009

Purely Functional 1-2 Brother Trees.
J. Funct. Program., 2009

The Bird Tree.
J. Funct. Program., 2009

A Reflection-based Proof Tactic for Lattices in Coq.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Functional pearl: la tour d'Hanoï.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Reasoning about Codata.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008
Exploiting Unique Fixed Points.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Scans and Convolutions - A Calculational Proof of Moessner's Theorem.
Proceedings of the Implementation and Application of Functional Languages, 2008

Functional pearl: streams and unique fixed points.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006
Finger trees: a simple general-purpose data structure.
J. Funct. Program., 2006

Generics for the masses.
J. Funct. Program., 2006

Generic Programming, Now!
Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Comparing Approaches to Generic Programming in Haskell.
Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Extensible and modular generics for the masses.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Open data types and open functions.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

"Scrap Your Boilerplate" Revolutions.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

"Scrap Your Boilerplate" Reloaded.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Typed Contracts for Functional Programming.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Church numerals, twice!
J. Funct. Program., 2005

2004
Type-indexed data types.
Sci. Comput. Program., 2004

Special issue on functional pearls Editorial.
J. Funct. Program., 2004

An Algebra of Scans.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003
Formatting: a class act.
J. Funct. Program., 2003

Functional Pearl trouble shared is trouble halved.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Generic Haskell: Applications.
Proceedings of the Generic Programming - Advanced Lectures, 2003

Generic Haskell: Practice and Theory.
Proceedings of the Generic Programming - Advanced Lectures, 2003

2002
Polytypic values possess polykinded types.
Sci. Comput. Program., 2002

A fresh look at binary search trees.
J. Funct. Program., 2002

Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Bootstrapping one-sided flexible arrays.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

A lightweight implementation of generics and dynamics.
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001
Weaving a web.
J. Funct. Program., 2001

Manufacturing datatypes.
J. Funct. Program., 2001

Polytypic Programming With Ease.
J. Funct. Log. Program., 2001

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

A Simple Implementation Technique for Priority Search Queues.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000
Generalizing generalized tries.
J. Funct. Program., 2000

Perfect trees and bit-reversal permutations.
J. Funct. Program., 2000

Derivable Type Classes.
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

A New Approach to Generic Functional Programming.
Proceedings of the POPL 2000, 2000

Deriving backtracking monad transformers.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999
Explaining Binomial Heaps.
J. Funct. Program., 1999

Polytypic Functions Over Nested Datatypes.
Discret. Math. Theor. Comput. Sci., 1999

Polytypic Programming With Ease (Extended Abstract).
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
Prological Features in a Functional Setting Axioms and Implementation.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996
Projektionsbasierte Striktheitsanalyse.
Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

1995
Projection-based strictness analysis - theoretical and practical aspects.
PhD thesis, 1995

1994
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
Vieweg, ISBN: 3-528-04700-3, 1994

1992
Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.
Proceedings of the Künstliche Intelligenz, 1992

Einführung in die funktionale Programmierung mit Miranda.
Teubner, ISBN: 978-3-519-02287-9, 1992


  Loading...