Edit Profile (opens in new tab) Hinze, Ralf Co-Author Distance Author ID: hinze.ralf Published as: Hinze, Ralf Documents Indexed: 60 Publications since 1992, including 4 Books 1 Contribution as Editor Co-Authors: 17 Co-Authors with 26 Joint Publications 277 Co-Co-Authors all top 5 Co-Authors 35 single-authored 6 Jeuring, Johan 6 Löh, Andres 4 Wu, Nicolas 3 Gibbons, Jeremy 3 Marsden, Dan 1 Cremers, Armin B. 1 Griefahn, Ulrike 1 Henglein, Fritz 1 James, Daniel W. H. 1 Magalhães, José Pedro 1 Martin, Clare E. 1 Oliveira, Bruno C.d. S. 1 Paterson, Ross A. 1 Peyton Jones, Simon L. 1 Runciman, Colin 1 Swierstra, Wouter 1 Voigtlander, Janis all top 5 Serials 18 Journal of Functional Programming 3 Science of Computer Programming 1 International Journal of Foundations of Computer Science 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 The Journal of Functional and Logic Programming 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 59 Computer science (68-XX) 9 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Serials 34 Journal of Functional Programming 9 Higher-Order and Symbolic Computation 6 Science of Computer Programming 5 Theoretical Computer Science 4 Journal of Automated Reasoning 3 Journal of Logical and Algebraic Methods in Programming 2 Formal Aspects of Computing 2 MSCS. Mathematical Structures in Computer Science 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Journal of Mathematical Physics 1 Information and Computation 1 Mathematical and Computer Modelling 1 International Journal of Foundations of Computer Science 1 Journal of Logic, Language and Information 1 Bulletin des Sciences Mathématiques 1 Theory of Computing Systems 1 Journal of Applied Mathematics 1 Journal of Discrete Algorithms all top 5 Cited in 14 Fields 131 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 13 Category theory; homological algebra (18-XX) 5 Number theory (11-XX) 3 Quantum theory (81-XX) 3 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year