×
Author ID: hinze.ralf Recent zbMATH articles by "Hinze, Ralf"
Published as: Hinze, Ralf

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 200 times in 137 Documents Cited by Year
Just do it: simple monadic equational reasoning. Zbl 1323.68207
Gibbons, Jeremy; Hinze, Ralf
16
2011
Generalizing generalized tries. Zbl 0965.68016
Hinze, Ralf
12
2000
Finger trees: a simple general-purpose data structure. Zbl 1088.68041
Hinze, Ralf; Paterson, Ross
12
2006
Deriving backtracking monad transformers. Zbl 1321.68195
Hinze, Ralf
9
2000
A new approach to generic functional programming. Zbl 1323.68122
Hinze, Ralf
8
2000
Manufacturing datatypes. Zbl 0994.68045
Hinze, Ralf
7
2001
Typed contracts for functional programming. Zbl 1185.68195
Hinze, Ralf; Jeuring, Johan; Löh, Andres
7
2006
Concrete stream calculus: an extended study. Zbl 1221.68072
Hinze, Ralf
7
2010
Derivable type classes. Zbl 1262.68028
Hinze, Ralf; Jones, Simon Peyton
7
2001
Generic Haskell: practice and theory. Zbl 1274.68049
Hinze, Ralf; Jeuring, Johan
7
2003
Generics for the masses. Zbl 1122.68022
Hinze, Ralf
6
2006
Polytypic values possess polykinded types. Zbl 1016.68021
Hinze, Ralf
6
2002
Type-indexed data types. Zbl 1091.68025
Hinze, Ralf; Jeuring, Johan; Löh, Andres
6
2004
Perfect trees and bit-reversal permutations. Zbl 0957.68027
Hinze, Ralf
5
2000
Conjugate hylomorphisms – or: the mother of all structured recursion schemes. Zbl 1345.68057
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy
5
2015
Unifying structured recursion schemes. Zbl 1323.68123
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy
5
2013
The Bird tree. Zbl 1191.68161
Hinze, Ralf
5
2009
Generic Haskell: applications. Zbl 1274.68050
Hinze, Ralf; Jeuring, Johan
5
2003
“Scrap your boilerplate” revolutions. Zbl 1235.68053
Hinze, Ralf; Löh, Andres
4
2006
Generic programming in 3D. Zbl 1192.68138
Hinze, Ralf; Löh, Andres
4
2009
An algebra of scans. Zbl 1106.68022
Hinze, Ralf
4
2004
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027
Hinze, Ralf; Marsden, Dan
4
2016
Functional pearl: streams and unique fixed points. Zbl 1323.68121
Hinze, Ralf
4
2008
Weaving a web. Zbl 1037.68520
Hinze, Ralf; Jeuring, Johan
3
2001
“Scrap your boilerplate” reloaded. Zbl 1185.68196
Hinze, Ralf; Löh, Andres; Oliveira, Bruno C. d. S.
3
2006
Prolog’s control constructs in a functional setting – axioms and implementation. Zbl 1319.68053
Hinze, Ralf
3
2001
Kan extensions for program optimisation Or: Art and Dan explain an old trick. Zbl 1358.68057
Hinze, Ralf
3
2012
Projection-based strictness analysis. Theoretical and practical aspects. Zbl 0870.68046
Hinze, Ralf
2
1995
Polytypic functions over nested datatypes. Zbl 0947.68031
Hinze, Ralf
2
1999
Polytypic values possess polykinded types. Zbl 0963.68035
Hinze, Ralf
2
2000
Church numerals, twice! Zbl 1063.68032
Hinze, Ralf
2
2005
Formatting: A class act. Zbl 1103.68433
Hinze, Ralf
2
2003
Constructing tournament representations: An exercise in pointwise relational programming. Zbl 1073.68578
Hinze, Ralf
2
2002
Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata. Zbl 1434.68257
Hinze, Ralf
2
2019
Proving the unique fixed-point principle correct: an adventure with category theory. Zbl 1323.68211
Hinze, Ralf; James, Daniel W. H.
2
2011
A simple implementation technique for priority search queues. Zbl 1323.68119
Hinze, Ralf
2
2001
Generics for the masses. Zbl 1323.68120
Hinze, Ralf
2
2004
Generic programming with adjunctions. Zbl 1374.68114
Hinze, Ralf
2
2012
Adjoint folds and unfolds. Or: Scything through the thicket of morphisms. Zbl 1286.68080
Hinze, Ralf
2
2010
Purely functional 1-2 brother trees. Zbl 1191.68162
Hinze, Ralf
2
2009
Explaining binomial heaps. Zbl 0926.68026
Hinze, Ralf
1
1999
Polytypic programming with ease. Zbl 0971.68020
Hinze, Ralf
1
2001
Sorting and searching by distribution: from generic discrimination to generic tries. Zbl 1426.68071
Henglein, Fritz; Hinze, Ralf
1
2013
Unifying structured recursion schemes. An extended study. Zbl 1420.68039
Hinze, Ralf; Wu, Nicolas
1
2016
Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Zbl 1312.68008
1
2015
Type fusion. Zbl 1308.68041
Hinze, Ralf
1
2011
A duality of sorts. Zbl 1405.68101
Hinze, Ralf; Magalhães, José Pedro; Wu, Nicolas
1
2013
Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata. Zbl 1434.68257
Hinze, Ralf
2
2019
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027
Hinze, Ralf; Marsden, Dan
4
2016
Unifying structured recursion schemes. An extended study. Zbl 1420.68039
Hinze, Ralf; Wu, Nicolas
1
2016
Conjugate hylomorphisms – or: the mother of all structured recursion schemes. Zbl 1345.68057
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy
5
2015
Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Zbl 1312.68008
1
2015
Unifying structured recursion schemes. Zbl 1323.68123
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy
5
2013
Sorting and searching by distribution: from generic discrimination to generic tries. Zbl 1426.68071
Henglein, Fritz; Hinze, Ralf
1
2013
A duality of sorts. Zbl 1405.68101
Hinze, Ralf; Magalhães, José Pedro; Wu, Nicolas
1
2013
Kan extensions for program optimisation Or: Art and Dan explain an old trick. Zbl 1358.68057
Hinze, Ralf
3
2012
Generic programming with adjunctions. Zbl 1374.68114
Hinze, Ralf
2
2012
Just do it: simple monadic equational reasoning. Zbl 1323.68207
Gibbons, Jeremy; Hinze, Ralf
16
2011
Proving the unique fixed-point principle correct: an adventure with category theory. Zbl 1323.68211
Hinze, Ralf; James, Daniel W. H.
2
2011
Type fusion. Zbl 1308.68041
Hinze, Ralf
1
2011
Concrete stream calculus: an extended study. Zbl 1221.68072
Hinze, Ralf
7
2010
Adjoint folds and unfolds. Or: Scything through the thicket of morphisms. Zbl 1286.68080
Hinze, Ralf
2
2010
The Bird tree. Zbl 1191.68161
Hinze, Ralf
5
2009
Generic programming in 3D. Zbl 1192.68138
Hinze, Ralf; Löh, Andres
4
2009
Purely functional 1-2 brother trees. Zbl 1191.68162
Hinze, Ralf
2
2009
Functional pearl: streams and unique fixed points. Zbl 1323.68121
Hinze, Ralf
4
2008
Finger trees: a simple general-purpose data structure. Zbl 1088.68041
Hinze, Ralf; Paterson, Ross
12
2006
Typed contracts for functional programming. Zbl 1185.68195
Hinze, Ralf; Jeuring, Johan; Löh, Andres
7
2006
Generics for the masses. Zbl 1122.68022
Hinze, Ralf
6
2006
“Scrap your boilerplate” revolutions. Zbl 1235.68053
Hinze, Ralf; Löh, Andres
4
2006
“Scrap your boilerplate” reloaded. Zbl 1185.68196
Hinze, Ralf; Löh, Andres; Oliveira, Bruno C. d. S.
3
2006
Church numerals, twice! Zbl 1063.68032
Hinze, Ralf
2
2005
Type-indexed data types. Zbl 1091.68025
Hinze, Ralf; Jeuring, Johan; Löh, Andres
6
2004
An algebra of scans. Zbl 1106.68022
Hinze, Ralf
4
2004
Generics for the masses. Zbl 1323.68120
Hinze, Ralf
2
2004
Generic Haskell: practice and theory. Zbl 1274.68049
Hinze, Ralf; Jeuring, Johan
7
2003
Generic Haskell: applications. Zbl 1274.68050
Hinze, Ralf; Jeuring, Johan
5
2003
Formatting: A class act. Zbl 1103.68433
Hinze, Ralf
2
2003
Polytypic values possess polykinded types. Zbl 1016.68021
Hinze, Ralf
6
2002
Constructing tournament representations: An exercise in pointwise relational programming. Zbl 1073.68578
Hinze, Ralf
2
2002
Manufacturing datatypes. Zbl 0994.68045
Hinze, Ralf
7
2001
Derivable type classes. Zbl 1262.68028
Hinze, Ralf; Jones, Simon Peyton
7
2001
Weaving a web. Zbl 1037.68520
Hinze, Ralf; Jeuring, Johan
3
2001
Prolog’s control constructs in a functional setting – axioms and implementation. Zbl 1319.68053
Hinze, Ralf
3
2001
A simple implementation technique for priority search queues. Zbl 1323.68119
Hinze, Ralf
2
2001
Polytypic programming with ease. Zbl 0971.68020
Hinze, Ralf
1
2001
Generalizing generalized tries. Zbl 0965.68016
Hinze, Ralf
12
2000
Deriving backtracking monad transformers. Zbl 1321.68195
Hinze, Ralf
9
2000
A new approach to generic functional programming. Zbl 1323.68122
Hinze, Ralf
8
2000
Perfect trees and bit-reversal permutations. Zbl 0957.68027
Hinze, Ralf
5
2000
Polytypic values possess polykinded types. Zbl 0963.68035
Hinze, Ralf
2
2000
Polytypic functions over nested datatypes. Zbl 0947.68031
Hinze, Ralf
2
1999
Explaining binomial heaps. Zbl 0926.68026
Hinze, Ralf
1
1999
Projection-based strictness analysis. Theoretical and practical aspects. Zbl 0870.68046
Hinze, Ralf
2
1995
all top 5

Cited by 242 Authors

12 Hinze, Ralf
5 Wu, Nicolas
4 Gibbons, Jeremy
4 Lochbihler, Andreas
4 Shan, Chung-chieh
4 Weirich, Stephanie
3 Abel, Andreas M.
3 Fu, Peng
3 Kiselyov, Oleg
3 Magalhães, José Pedro
3 Matthes, Ralph
3 Mu, Shin-Cheng
3 Peyton Jones, Simon L.
3 Rutten, Jan J. M. M.
3 Sabry, Amr
3 Schrijvers, Tom
3 Swierstra, Wouter
3 Thiemann, Peter J.
3 Uustalu, Tarmo
2 Affeldt, Reynald
2 Ancona, Davide
2 Asai, Kenichi
2 Barbieri, Pietro
2 Breitner, Joachim
2 Capretta, Venanzio
2 Degen, Markus
2 Dybjer, Peter
2 Fluet, Matthew T.
2 Ghani, Neil
2 Hansen, Helle Hvid
2 Henglein, Fritz
2 Holdermans, Stefan
2 Jeuring, Johan
2 Kupke, Clemens
2 Lammich, Peter
2 Martin, Clare E.
2 McKinna, James
2 Nipkow, Tobias
2 Oliveira, José Nuno
2 Piedeleu, Robin
2 Piróg, Maciej
2 Rodriguez Yakushev, Alexey
2 Vytiniotis, Dimitrios
2 Wadler, Philip Lee
2 Wehr, Stefan
2 Zanasi, Fabio
2 Zucca, Elena
1 Abou-Saleh, Faris
1 Achten, Peter
1 Ahmed, Amal
1 Allais, Guillaume
1 Altenkirch, Thorsten
1 Åman Pohjola, Johannes
1 Ariola, Zena M.
1 Atkey, Robert
1 Baanen, Anne
1 Backhouse, Roland C.
1 Barker, Chris
1 Baumgartner, Alexander
1 Benton, Nick
1 Bergström, Lars B.
1 Bernardy, Jean-Philippe
1 Blanchette, Jasmin Christian
1 Bouzy, Aymeric
1 Bove, Ana
1 Braibant, Thomas
1 Braßel, Bernd
1 Bringert, Björn
1 Carette, Jacques
1 Chadwick, Bryan
1 Chapman, James T. E.
1 Chen, Chung-Hsin
1 Chen, Kung
1 Cheney, James
1 Chiang, Tsung-Ju
1 Chifflier, Pierre
1 Claessen, Koen
1 Clausen, Christian
1 Cunha, Alcino
1 Curtis, Sharon A.
1 Danvy, Olivier
1 Das, Ankush
1 De Angelis, Emanuele
1 Del Río, A. Cernuda
1 Devries, Edsko
1 DeYoung, Henry
1 Díez, M. C. Luengo
1 Donnelly, Kevin P.
1 Doornbos, Henk
1 Downen, Paul
1 Draheim, Dirk
1 Du Bois, André Rauber
1 Dubois, Catherine
1 Duck, Gregory J.
1 Dvir, Yotam
1 Einarsdóttir, Sólrún Halla
1 Eisenberg, Richard A.
1 Eren Gökmen, Buket
1 Fernandes, João Paulo
1 Ferreira, João Filipe
...and 142 more Authors

Citations by Year