Ralf Hinze - RankMe

96 papers A* 2A 10B 12C 5Misc 2Journal 35Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Binary search - think positive. J. Funct. Program. Alexander Dinges, Ralf Hinze
2025	J	`jnl`	The graphical theory of monads. J. Funct. Program. Ralf Hinze, Dan Marsden
2025	J	`jnl`	Truly Functional Solutions to the Longest Uptrend Problem (Functional Pearl). Proc. ACM Program. Lang. Alexander Dinges, Ralf Hinze
2023	J	`jnl`	Certified, total serialisers with an application to Huffman encoding. J. Funct. Program. Ralf Hinze
2023	—	`conf`	What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. IFL Alexander Dinges, Ralf Hinze
2022	B	`conf`	Calculating Datastructures. MPC Ralf Hinze, Wouter Swierstra
2022	J	`jnl`	Super-naturals. J. Funct. Program. Ralf Hinze, Colin Runciman
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years 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
2019	B	`conf`	Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. MPC Ralf Hinze
2018	J	`jnl`	Batcher's odd-even merging network revealed. J. Funct. Program. Ralf Hinze, Clare Martin
2018	J	`jnl`	On constructing 2-3 trees. J. Funct. Program. Ralf Hinze
2018	J	`jnl`	Parberry's pairwise sorting network revealed. J. Funct. Program. Ralf Hinze, Clare Martin
2018	J	`jnl`	Relational algebra by way of adjunctions. Proc. ACM Program. Lang. Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
2017	J	`jnl`	A Logical Reconstruction of Batcher's Mergers J. Univers. Comput. Sci. Ralf Hinze, Clare Martin
2016	—	`conf`	Dragging Proofs Out of Pictures. A List of Successes That Can Change the World Ralf Hinze, Dan Marsden
2016	J	`jnl`	Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. J. Log. Algebraic Methods Program. Ralf Hinze, Dan Marsden
2016	J	`jnl`	Unifying structured recursion schemes - An Extended Study. J. Funct. Program. Ralf Hinze, Nicolas Wu
2015	A*	`conf`	Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2015	B	`ed.`	Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings MPC Ralf Hinze, Janis Voigtländer
2014	C	`conf`	Effect handlers in scope. Haskell Nicolas Wu, Tom Schrijvers, Ralf Hinze
2013	—	`conf`	A Duality of Sorts. The Beauty of Functional Code Ralf Hinze, José Pedro Magalhães, Nicolas Wu
2013	J	`jnl`	Adjoint folds and unfolds - An extended study. Sci. Comput. Program. Ralf Hinze
2013	—	`conf`	Histo- and dynamorphisms revisited. WGP@ICFP Ralf Hinze, Nicolas Wu
2013	—	`ed.`	Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers IFL Ralf Hinze
2013	B	`conf`	Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. APLAS Fritz Henglein, Ralf Hinze
2013	A	`conf`	Unifying structured recursion schemes. ICFP Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2012	B	`conf`	Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. MPC Ralf Hinze
2012	—	`conf`	Sorting with bialgebras and distributive laws. WGP@ICFP Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
2011	A	`conf`	Just do it: simple monadic equational reasoning. ICFP Jeremy Gibbons, Ralf Hinze
2011	A	`conf`	Proving the unique fixed-point principle correct: an adventure with category theory. ICFP Ralf Hinze, Daniel W. H. James
2011	—	`conf`	Towards a categorical foundation for generic programming. WGP@ICFP Ralf Hinze, Nicolas Wu
2011	J	`jnl`	Typed quote/antiquote or: Compile-time parsing. J. Funct. Program. Ralf Hinze
2010	B	`conf`	Adjoint Folds and Unfolds. MPC Ralf Hinze
2010	J	`jnl`	Concrete stream calculus: An extended study. J. Funct. Program. Ralf Hinze
2010	—	`conf`	Generic Programming with Adjunctions. SSGIP Ralf Hinze
2010	—	`conf`	Reason isomorphically! ICFP-WGP Ralf Hinze, Daniel W. H. James
2010	J	`jnl`	Special Issue on Generic Programming Editorial. J. Funct. Program. Ralf Hinze
2010	—	`conf`	Theory and Practice of Fusion. IFL Ralf Hinze, Thomas Harper, Daniel W. H. James
2010	—	`conf`	Type Fusion. AMAST Ralf Hinze
2009	—	`conf`	A Reflection-based Proof Tactic for Lattices in Coq. Trends in Functional Programming Daniel W. H. James, Ralf Hinze
2009	A	`conf`	Functional pearl: la tour d'Hanoï. ICFP Ralf Hinze
2009	J	`jnl`	Generic programming in 3D. Sci. Comput. Program. Ralf Hinze, Andres Löh
2009	J	`jnl`	Purely Functional 1-2 Brother Trees. J. Funct. Program. Ralf Hinze
2009	—	`conf`	Reasoning about Codata. CEFP Ralf Hinze
2009	J	`jnl`	The Bird Tree. J. Funct. Program. Ralf Hinze
2008	B	`conf`	Exploiting Unique Fixed Points. MPC Ralf Hinze
2008	A	`conf`	Functional pearl: streams and unique fixed points. ICFP Ralf Hinze
2008	—	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 ICFP-WGP Ralf Hinze, Don Syme
2008	—	`conf`	Scans and Convolutions - A Calculational Proof of Moessner's Theorem. IFL Ralf Hinze
2007	—	`ed.`	Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures SSDGP Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
2007	A	`ed.`	Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 ICFP Ralf Hinze, Norman Ramsey
2006	Misc	`conf`	"Scrap Your Boilerplate" Reloaded. FLOPS Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
2006	B	`conf`	"Scrap Your Boilerplate" Revolutions. MPC Ralf Hinze, Andres Löh
2006	—	`conf`	Comparing Approaches to Generic Programming in Haskell. SSDGP Ralf Hinze, Johan Jeuring, Andres Löh
2006	—	`conf`	Extensible and modular generics for the masses. Trends in Functional Programming Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
2006	J	`jnl`	Finger trees: a simple general-purpose data structure. J. Funct. Program. Ralf Hinze, Ross Paterson
2006	—	`conf`	Generic Programming, Now! SSDGP Ralf Hinze, Andres Löh
2006	J	`jnl`	Generics for the masses. J. Funct. Program. Ralf Hinze
2006	C	`conf`	Open data types and open functions. PPDP Andres Löh, Ralf Hinze
2006	—	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006 ICFP-WGP Ralf Hinze
2006	Misc	`conf`	Typed Contracts for Functional Programming. FLOPS Ralf Hinze, Johan Jeuring, Andres Löh
2005	J	`jnl`	Church numerals, twice! J. Funct. Program. Ralf Hinze
2004	B	`conf`	An Algebra of Scans. MPC Ralf Hinze
2004	A	`conf`	Generics for the masses. ICFP Ralf Hinze
2004	J	`jnl`	Special issue on functional pearls Editorial. J. Funct. Program. Ralf Hinze
2004	J	`jnl`	Type-indexed data types. Sci. Comput. Program. Ralf Hinze, Johan Jeuring, Andres Löh
2003	J	`jnl`	Formatting: a class act. J. Funct. Program. Ralf Hinze
2003	C	`conf`	Functional Pearl trouble shared is trouble halved. Haskell Richard S. Bird, Ralf Hinze
2003	—	`conf`	Generic Haskell: Applications. Generic Programming Ralf Hinze, Johan Jeuring
2003	—	`conf`	Generic Haskell: Practice and Theory. Generic Programming Ralf Hinze, Johan Jeuring
2002	J	`jnl`	A fresh look at binary search trees. J. Funct. Program. Ralf Hinze
2002	C	`conf`	A lightweight implementation of generics and dynamics. Haskell James Cheney, Ralf Hinze
2002	A	`conf`	Bootstrapping one-sided flexible arrays. ICFP Ralf Hinze
2002	B	`conf`	Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. MPC Ralf Hinze
2002	J	`jnl`	Polytypic values possess polykinded types. Sci. Comput. Program. Ralf Hinze
2002	B	`conf`	Type-Indexed Data Types. MPC Ralf Hinze, Johan Jeuring, Andres Löh
2001	A	`conf`	A Simple Implementation Technique for Priority Search Queues. ICFP Ralf Hinze
2001	J	`jnl`	Manufacturing datatypes. J. Funct. Program. Ralf Hinze
2001	J	`jnl`	Polytypic Programming With Ease. J. Funct. Log. Program. Ralf Hinze
2001	J	`jnl`	Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. Int. J. Found. Comput. Sci. Ralf Hinze
2001	J	`jnl`	Weaving a web. J. Funct. Program. Ralf Hinze, Johan Jeuring
2000	A*	`conf`	A New Approach to Generic Functional Programming. POPL Ralf Hinze
2000	C	`conf`	Derivable Type Classes. Haskell Ralf Hinze, Simon L. Peyton Jones
2000	A	`conf`	Deriving backtracking monad transformers. ICFP Ralf Hinze
2000	J	`jnl`	Generalizing generalized tries. J. Funct. Program. Ralf Hinze
2000	J	`jnl`	Perfect trees and bit-reversal permutations. J. Funct. Program. Ralf Hinze
2000	B	`conf`	Polytypic Values Possess Polykinded Types. MPC Ralf Hinze
1999	J	`jnl`	Explaining Binomial Heaps. J. Funct. Program. Ralf Hinze
1999	J	`jnl`	Polytypic Functions Over Nested Datatypes. Discret. Math. Theor. Comput. Sci. Ralf Hinze
1999	—	`conf`	Polytypic Programming With Ease (Extended Abstract). Fuji International Symposium on Functional and Logic Programming Ralf Hinze
1998	—	`conf`	Prological Features in a Functional Setting Axioms and Implementation. Fuji International Symposium on Functional and Logic Programming Ralf Hinze
1996	—	`ch.`	Projektionsbasierte Striktheitsanalyse. Ausgezeichnete Informatikdissertationen Ralf Hinze
1995	—	`—`	Projection-based strictness analysis - theoretical and practical aspects. Ralf Hinze
1994	—	`book`	Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung Armin B. Cremers, Ulrike Griefahn, Ralf Hinze
1992	—	`ch.`	Die Rolle der mathematischen Logik in der Künstlichen Intelligenz. Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit (1) Armin B. Cremers, Elmar Eder, Ralf Hinze
1992	—	`book`	Einführung in die funktionale Programmierung mit Miranda. Ralf Hinze