BibTeX records: Ralf Hinze

download as .bib file

@article{DBLP:journals/jfp/Hinze23,
  author       = {Ralf Hinze},
  title        = {Certified, total serialisers with an application to Huffman encoding},
  journal      = {J. Funct. Program.},
  volume       = {33},
  year         = {2023},
  url          = {https://doi.org/10.1017/s095679682200017x},
  doi          = {10.1017/S095679682200017X},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeR22,
  author       = {Ralf Hinze and
                  Colin Runciman},
  title        = {Super-naturals},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e5},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000028},
  doi          = {10.1017/S0956796822000028},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeS22,
  author       = {Ralf Hinze and
                  Wouter Swierstra},
  editor       = {Ekaterina Komendantskaya},
  title        = {Calculating Datastructures},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {62--101},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_3},
  doi          = {10.1007/978-3-031-16912-0\_3},
  timestamp    = {Mon, 24 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
  author       = {Richard S. Bird and
                  Jeremy Gibbons and
                  Ralf Hinze and
                  Peter H{\"{o}}fner and
                  Johan Jeuring and
                  Lambert G. L. T. Meertens and
                  Bernhard M{\"{o}}ller and
                  Carroll Morgan and
                  Tom Schrijvers and
                  Wouter Swierstra and
                  Nicolas Wu},
  editor       = {Michael Goedicke and
                  Erich J. Neuhold and
                  Kai Rannenberg},
  title        = {Algorithmics},
  booktitle    = {Advancing Research in Information and Communication Technology - IFIP's
                  Exciting First 60+ Years, Views from the Technical Committees and
                  Working Groups},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {600},
  pages        = {59--98},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81701-5\_3},
  doi          = {10.1007/978-3-030-81701-5\_3},
  timestamp    = {Wed, 21 Dec 2022 15:22:06 +0100},
  biburl       = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze19,
  author       = {Ralf Hinze},
  editor       = {Graham Hutton},
  title        = {Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic
                  Finite Automata},
  booktitle    = {Mathematics of Program Construction - 13th International Conference,
                  {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11825},
  pages        = {103--137},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33636-3\_5},
  doi          = {10.1007/978-3-030-33636-3\_5},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeM18,
  author       = {Ralf Hinze and
                  Clare Martin},
  title        = {Batcher's odd-even merging network revealed},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e14},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000163},
  doi          = {10.1017/S0956796818000163},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze18,
  author       = {Ralf Hinze},
  title        = {On constructing 2-3 trees},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e19},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000187},
  doi          = {10.1017/S0956796818000187},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeM18a,
  author       = {Ralf Hinze and
                  Clare Martin},
  title        = {Parberry's pairwise sorting network revealed},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e21},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000199},
  doi          = {10.1017/S0956796818000199},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GibbonsHHW18,
  author       = {Jeremy Gibbons and
                  Fritz Henglein and
                  Ralf Hinze and
                  Nicolas Wu},
  title        = {Relational algebra by way of adjunctions},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{ICFP}},
  pages        = {86:1--86:28},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236781},
  doi          = {10.1145/3236781},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GibbonsHHW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HinzeM17,
  author       = {Ralf Hinze and
                  Clare Martin},
  title        = {A Logical Reconstruction of Batcher's Mergers \emph{Or: } Bitonicity
                  is a Red Herring},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {23},
  number       = {1},
  pages        = {21--41},
  year         = {2017},
  url          = {http://www.jucs.org/jucs\_23\_1/a\_logical\_reconstruction\_of},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/HinzeM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeW16,
  author       = {Ralf Hinze and
                  Nicolas Wu},
  title        = {Unifying structured recursion schemes - An Extended Study},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e1},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796815000258},
  doi          = {10.1017/S0956796815000258},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HinzeM16,
  author       = {Ralf Hinze and
                  Dan Marsden},
  title        = {Equational reasoning with lollipops, forks, cups, caps, snakes, and
                  speedometers},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {5},
  pages        = {931--951},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.12.004},
  doi          = {10.1016/J.JLAMP.2015.12.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HinzeM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HinzeM16,
  author       = {Ralf Hinze and
                  Dan Marsden},
  editor       = {Sam Lindley and
                  Conor McBride and
                  Philip W. Trinder and
                  Donald Sannella},
  title        = {Dragging Proofs Out of Pictures},
  booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to
                  Philip Wadler on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9600},
  pages        = {152--168},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30936-1\_8},
  doi          = {10.1007/978-3-319-30936-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HinzeM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HinzeWG15,
  author       = {Ralf Hinze and
                  Nicolas Wu and
                  Jeremy Gibbons},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion
                  Schemes},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {527--538},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2676989},
  doi          = {10.1145/2676726.2676989},
  timestamp    = {Sat, 30 Sep 2023 09:54:52 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/HinzeWG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5},
  doi          = {10.1007/978-3-319-19797-5},
  isbn         = {978-3-319-19796-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WuSH14,
  author       = {Nicolas Wu and
                  Tom Schrijvers and
                  Ralf Hinze},
  editor       = {Wouter Swierstra},
  title        = {Effect handlers in scope},
  booktitle    = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
                  Sweden, September 4-5, 2014},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633357.2633358},
  doi          = {10.1145/2633357.2633358},
  timestamp    = {Thu, 24 Jun 2021 16:19:29 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/WuSH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hinze13,
  author       = {Ralf Hinze},
  title        = {Adjoint folds and unfolds - An extended study},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {11},
  pages        = {2108--2159},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.07.011},
  doi          = {10.1016/J.SCICO.2012.07.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hinze13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HengleinH13,
  author       = {Fritz Henglein and
                  Ralf Hinze},
  editor       = {Chung{-}chieh Shan},
  title        = {Sorting and Searching by Distribution: From Generic Discrimination
                  to Generic Tries},
  booktitle    = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
                  2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8301},
  pages        = {315--332},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03542-0\_23},
  doi          = {10.1007/978-3-319-03542-0\_23},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HengleinH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HinzeMW13,
  author       = {Ralf Hinze and
                  Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Nicolas Wu},
  editor       = {Peter Achten and
                  Pieter W. M. Koopman},
  title        = {A Duality of Sorts},
  booktitle    = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
                  on the Occasion of His 61st Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8106},
  pages        = {151--167},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40355-2\_11},
  doi          = {10.1007/978-3-642-40355-2\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HinzeMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW13,
  author       = {Ralf Hinze and
                  Nicolas Wu},
  editor       = {Jacques Carette and
                  Jeremiah Willcock},
  title        = {Histo- and dynamorphisms revisited},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502488.2502496},
  doi          = {10.1145/2502488.2502496},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeWG13,
  author       = {Ralf Hinze and
                  Nicolas Wu and
                  Jeremy Gibbons},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {Unifying structured recursion schemes},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {209--220},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500578},
  doi          = {10.1145/2500365.2500578},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeWG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2012,
  editor       = {Ralf Hinze},
  title        = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41582-1},
  doi          = {10.1007/978-3-642-41582-1},
  isbn         = {978-3-642-41581-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJHWM12,
  author       = {Ralf Hinze and
                  Daniel W. H. James and
                  Thomas Harper and
                  Nicolas Wu and
                  Jos{\'{e}} Pedro Magalh{\~{a}}es},
  editor       = {Andres L{\"{o}}h and
                  Ronald Garcia},
  title        = {Sorting with bialgebras and distributive laws},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
                  WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
  pages        = {69--80},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364394.2364405},
  doi          = {10.1145/2364394.2364405},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeJHWM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze12,
  author       = {Ralf Hinze},
  editor       = {Jeremy Gibbons and
                  Pablo Nogueira},
  title        = {Kan Extensions for Program Optimisation Or: Art and Dan Explain an
                  Old Trick},
  booktitle    = {Mathematics of Program Construction - 11th International Conference,
                  {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7342},
  pages        = {324--362},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31113-0\_16},
  doi          = {10.1007/978-3-642-31113-0\_16},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze11,
  author       = {Ralf Hinze},
  title        = {Typed quote/antiquote or: Compile-time parsing},
  journal      = {J. Funct. Program.},
  volume       = {21},
  number       = {3},
  pages        = {219--234},
  year         = {2011},
  url          = {https://doi.org/10.1017/S0956796811000050},
  doi          = {10.1017/S0956796811000050},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsH11,
  author       = {Jeremy Gibbons and
                  Ralf Hinze},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {Just do it: simple monadic equational reasoning},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {2--14},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034777},
  doi          = {10.1145/2034773.2034777},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/GibbonsH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW11,
  author       = {Ralf Hinze and
                  Nicolas Wu},
  editor       = {Jaakko J{\"{a}}rvi and
                  Shin{-}Cheng Mu},
  title        = {Towards a categorical foundation for generic programming},
  booktitle    = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
                  WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  pages        = {47--58},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2036918.2036926},
  doi          = {10.1145/2036918.2036926},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJ11,
  author       = {Ralf Hinze and
                  Daniel W. H. James},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {Proving the unique fixed-point principle correct: an adventure with
                  category theory},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {359--371},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034821},
  doi          = {10.1145/2034773.2034821},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze10,
  author       = {Ralf Hinze},
  title        = {Special Issue on Generic Programming Editorial},
  journal      = {J. Funct. Program.},
  volume       = {20},
  number       = {3-4},
  pages        = {211--212},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0956796810000286},
  doi          = {10.1017/S0956796810000286},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze08,
  author       = {Ralf Hinze},
  title        = {Concrete stream calculus: An extended study},
  journal      = {J. Funct. Program.},
  volume       = {20},
  number       = {5-6},
  pages        = {463--535},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0956796810000213},
  doi          = {10.1017/S0956796810000213},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Hinze10,
  author       = {Ralf Hinze},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Type Fusion},
  booktitle    = {Algebraic Methodology and Software Technology - 13th International
                  Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6486},
  pages        = {92--110},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_6},
  doi          = {10.1007/978-3-642-17796-5\_6},
  timestamp    = {Sun, 25 Oct 2020 23:16:25 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJ10,
  author       = {Ralf Hinze and
                  Daniel W. H. James},
  editor       = {Bruno C. d. S. Oliveira and
                  Marcin Zalewski},
  title        = {Reason isomorphically!},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
                  {WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863495.1863507},
  doi          = {10.1145/1863495.1863507},
  timestamp    = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/HinzeJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HinzeHJ10,
  author       = {Ralf Hinze and
                  Thomas Harper and
                  Daniel W. H. James},
  editor       = {Jurriaan Hage and
                  Marco T. Moraz{\'{a}}n},
  title        = {Theory and Practice of Fusion},
  booktitle    = {Implementation and Application of Functional Languages - 22nd International
                  Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
                  1-3, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6647},
  pages        = {19--37},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-24276-2\_2},
  doi          = {10.1007/978-3-642-24276-2\_2},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/HinzeHJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze10,
  author       = {Ralf Hinze},
  editor       = {Claude Bolduc and
                  Jos{\'{e}}e Desharnais and
                  B{\'{e}}chir Ktari},
  title        = {Adjoint Folds and Unfolds},
  booktitle    = {Mathematics of Program Construction, 10th International Conference,
                  {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6120},
  pages        = {195--228},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13321-3\_13},
  doi          = {10.1007/978-3-642-13321-3\_13},
  timestamp    = {Sat, 16 Oct 2021 20:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/Hinze10,
  author       = {Ralf Hinze},
  editor       = {Jeremy Gibbons},
  title        = {Generic Programming with Adjunctions},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {47--129},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_2},
  doi          = {10.1007/978-3-642-32202-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze09,
  author       = {Ralf Hinze},
  title        = {The Bird Tree},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {491--508},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809990116},
  doi          = {10.1017/S0956796809990116},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze09a,
  author       = {Ralf Hinze},
  title        = {Purely Functional 1-2 Brother Trees},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {633--644},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007333},
  doi          = {10.1017/S0956796809007333},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HinzeL09,
  author       = {Ralf Hinze and
                  Andres L{\"{o}}h},
  title        = {Generic programming in 3D},
  journal      = {Sci. Comput. Program.},
  volume       = {74},
  number       = {8},
  pages        = {590--628},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.scico.2007.10.006},
  doi          = {10.1016/J.SCICO.2007.10.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HinzeL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Hinze09,
  author       = {Ralf Hinze},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Reasoning about Codata},
  booktitle    = {Central European Functional Programming School - Third Summer School,
                  {CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
                  Slovakia, May 25-30, 2009, Revised Selected Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6299},
  pages        = {42--93},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-17685-2\_3},
  doi          = {10.1007/978-3-642-17685-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/Hinze09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze09,
  author       = {Ralf Hinze},
  editor       = {Graham Hutton and
                  Andrew P. Tolmach},
  title        = {Functional pearl: la tour d'Hano{\"{\i}}},
  booktitle    = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
                  31 - September 2, 2009},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596550.1596555},
  doi          = {10.1145/1596550.1596555},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JamesH09,
  author       = {Daniel W. H. James and
                  Ralf Hinze},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Vikt{\'{o}}ria Zs{\'{o}}k and
                  Peter Achten and
                  Pieter W. M. Koopman},
  title        = {A Reflection-based Proof Tactic for Lattices in Coq},
  booktitle    = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
                  {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
  series       = {Trends in Functional Programming},
  volume       = {10},
  pages        = {97--112},
  publisher    = {Intellect},
  year         = {2009},
  timestamp    = {Tue, 04 Jun 2013 08:01:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/JamesH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze08,
  author       = {Ralf Hinze},
  editor       = {James Hook and
                  Peter Thiemann},
  title        = {Functional pearl: streams and unique fixed points},
  booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
                  20-28, 2008},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411204.1411232},
  doi          = {10.1145/1411204.1411232},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Hinze08,
  author       = {Ralf Hinze},
  editor       = {Sven{-}Bodo Scholz and
                  Olaf Chitil},
  title        = {Scans and Convolutions - {A} Calculational Proof of Moessner's Theorem},
  booktitle    = {Implementation and Application of Functional Languages - 20th International
                  Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5836},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-24452-0\_1},
  doi          = {10.1007/978-3-642-24452-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Hinze08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze08,
  author       = {Ralf Hinze},
  editor       = {Philippe Audebaud and
                  Christine Paulin{-}Mohring},
  title        = {Exploiting Unique Fixed Points},
  booktitle    = {Mathematics of Program Construction, 9th International Conference,
                  {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5133},
  pages        = {1},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70594-9\_1},
  doi          = {10.1007/978-3-540-70594-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008wgp,
  editor       = {Ralf Hinze and
                  Don Syme},
  title        = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
                  {WGP} 2008, Victoria, BC, Canada, September 20, 2008},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411318},
  doi          = {10.1145/1411318},
  isbn         = {978-1-60558-060-9},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2008wgp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2007,
  editor       = {Ralf Hinze and
                  Norman Ramsey},
  title        = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
                  2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1291151},
  doi          = {10.1145/1291151},
  isbn         = {978-1-59593-815-2},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssdgp/2006,
  editor       = {Roland Carl Backhouse and
                  Jeremy Gibbons and
                  Ralf Hinze and
                  Johan Jeuring},
  title        = {Datatype-Generic Programming - International Spring School, {SSDGP}
                  2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4719},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76786-2},
  doi          = {10.1007/978-3-540-76786-2},
  isbn         = {978-3-540-76785-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssdgp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeP06,
  author       = {Ralf Hinze and
                  Ross Paterson},
  title        = {Finger trees: a simple general-purpose data structure},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {197--217},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005769},
  doi          = {10.1017/S0956796805005769},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze06,
  author       = {Ralf Hinze},
  title        = {Generics for the masses},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {451--483},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006022},
  doi          = {10.1017/S0956796806006022},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeLO06,
  author       = {Ralf Hinze and
                  Andres L{\"{o}}h and
                  Bruno C. d. S. Oliveira},
  editor       = {Masami Hagiya and
                  Philip Wadler},
  title        = {"Scrap Your Boilerplate" Reloaded},
  booktitle    = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
                  2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3945},
  pages        = {13--29},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11737414\_3},
  doi          = {10.1007/11737414\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/HinzeLO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeJL06,
  author       = {Ralf Hinze and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  editor       = {Masami Hagiya and
                  Philip Wadler},
  title        = {Typed Contracts for Functional Programming},
  booktitle    = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
                  2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3945},
  pages        = {208--225},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11737414\_15},
  doi          = {10.1007/11737414\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/HinzeJL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeL06,
  author       = {Ralf Hinze and
                  Andres L{\"{o}}h},
  editor       = {Tarmo Uustalu},
  title        = {"Scrap Your Boilerplate" Revolutions},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {180--208},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_13},
  doi          = {10.1007/11783596\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LohH06,
  author       = {Andres L{\"{o}}h and
                  Ralf Hinze},
  editor       = {Annalisa Bossi and
                  Michael J. Maher},
  title        = {Open data types and open functions},
  booktitle    = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 10-12, 2006,
                  Venice, Italy},
  pages        = {133--144},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140335.1140352},
  doi          = {10.1145/1140335.1140352},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/LohH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/OliveiraHL06,
  author       = {Bruno C. d. S. Oliveira and
                  Ralf Hinze and
                  Andres L{\"{o}}h},
  editor       = {Henrik Nilsson},
  title        = {Extensible and modular generics for the masses},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {199--216},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Tue, 24 Aug 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/OliveiraHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdgp/HinzeJL06,
  author       = {Ralf Hinze and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  editor       = {Roland Carl Backhouse and
                  Jeremy Gibbons and
                  Ralf Hinze and
                  Johan Jeuring},
  title        = {Comparing Approaches to Generic Programming in Haskell},
  booktitle    = {Datatype-Generic Programming - International Spring School, {SSDGP}
                  2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4719},
  pages        = {72--149},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-76786-2\_2},
  doi          = {10.1007/978-3-540-76786-2\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ssdgp/HinzeJL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdgp/HinzeL06,
  author       = {Ralf Hinze and
                  Andres L{\"{o}}h},
  editor       = {Roland Carl Backhouse and
                  Jeremy Gibbons and
                  Ralf Hinze and
                  Johan Jeuring},
  title        = {Generic Programming, Now!},
  booktitle    = {Datatype-Generic Programming - International Spring School, {SSDGP}
                  2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4719},
  pages        = {150--208},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-76786-2\_3},
  doi          = {10.1007/978-3-540-76786-2\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssdgp/HinzeL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006wgp,
  editor       = {Ralf Hinze},
  title        = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
                  {WGP} 2006, Portland, Oregon, USA, September 16, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159861},
  doi          = {10.1145/1159861},
  isbn         = {1-59593-492-8},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2006wgp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze05,
  author       = {Ralf Hinze},
  title        = {Church numerals, twice!},
  journal      = {J. Funct. Program.},
  volume       = {15},
  number       = {1},
  pages        = {1--13},
  year         = {2005},
  url          = {https://doi.org/10.1017/S0956796804005313},
  doi          = {10.1017/S0956796804005313},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze04,
  author       = {Ralf Hinze},
  title        = {Special issue on functional pearls Editorial},
  journal      = {J. Funct. Program.},
  volume       = {14},
  number       = {6},
  pages        = {601--601},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0956796804005271},
  doi          = {10.1017/S0956796804005271},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HinzeJL04,
  author       = {Ralf Hinze and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  title        = {Type-indexed data types},
  journal      = {Sci. Comput. Program.},
  volume       = {51},
  number       = {1-2},
  pages        = {117--151},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2003.07.001},
  doi          = {10.1016/J.SCICO.2003.07.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HinzeJL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze04,
  author       = {Ralf Hinze},
  editor       = {Chris Okasaki and
                  Kathleen Fisher},
  title        = {Generics for the masses},
  booktitle    = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
                  19-21, 2004},
  pages        = {236--243},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016850.1016882},
  doi          = {10.1145/1016850.1016882},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze04,
  author       = {Ralf Hinze},
  editor       = {Dexter Kozen and
                  Carron Shankland},
  title        = {An Algebra of Scans},
  booktitle    = {Mathematics of Program Construction, 7th International Conference,
                  {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3125},
  pages        = {186--210},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27764-4\_11},
  doi          = {10.1007/978-3-540-27764-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze03,
  author       = {Ralf Hinze},
  title        = {Formatting: a class act},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {935--944},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004367},
  doi          = {10.1017/S0956796802004367},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03,
  author       = {Ralf Hinze and
                  Johan Jeuring},
  editor       = {Roland Carl Backhouse and
                  Jeremy Gibbons},
  title        = {Generic Haskell: Practice and Theory},
  booktitle    = {Generic Programming - Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2793},
  pages        = {1--56},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45191-4\_1},
  doi          = {10.1007/978-3-540-45191-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/HinzeJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03a,
  author       = {Ralf Hinze and
                  Johan Jeuring},
  editor       = {Roland Carl Backhouse and
                  Jeremy Gibbons},
  title        = {Generic Haskell: Applications},
  booktitle    = {Generic Programming - Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2793},
  pages        = {57--96},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45191-4\_2},
  doi          = {10.1007/978-3-540-45191-4\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/HinzeJ03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BirdH03,
  author       = {Richard S. Bird and
                  Ralf Hinze},
  editor       = {Johan Jeuring},
  title        = {Functional Pearl trouble shared is trouble halved},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
                  Uppsala, Sweden, August 28, 2003},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/871895.871896},
  doi          = {10.1145/871895.871896},
  timestamp    = {Fri, 03 Jun 2022 10:47:45 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BirdH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze02,
  author       = {Ralf Hinze},
  title        = {A fresh look at binary search trees},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {601--607},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004269},
  doi          = {10.1017/S0956796801004269},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hinze02,
  author       = {Ralf Hinze},
  title        = {Polytypic values possess polykinded types},
  journal      = {Sci. Comput. Program.},
  volume       = {43},
  number       = {2-3},
  pages        = {129--159},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0167-6423(02)00025-4},
  doi          = {10.1016/S0167-6423(02)00025-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/CheneyH02,
  author       = {James Cheney and
                  Ralf Hinze},
  editor       = {Manuel M. T. Chakravarty},
  title        = {A lightweight implementation of generics and dynamics},
  booktitle    = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
                  2002, Pittsburgh, Pennsylvania, USA, October 3, 2002},
  pages        = {90--104},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/581690.581698},
  doi          = {10.1145/581690.581698},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/CheneyH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze02,
  author       = {Ralf Hinze},
  editor       = {Mitchell Wand and
                  Simon L. Peyton Jones},
  title        = {Bootstrapping one-sided flexible arrays},
  booktitle    = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
                  USA, October 4-6, 2002},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/581478.581480},
  doi          = {10.1145/581478.581480},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze02,
  author       = {Ralf Hinze},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Constructing Tournament Representations: An Exercise in Pointwise
                  Relational Programming},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_9},
  doi          = {10.1007/3-540-45442-X\_9},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeJL02,
  author       = {Ralf Hinze and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Type-Indexed Data Types},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {148--174},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_10},
  doi          = {10.1007/3-540-45442-X\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeJL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Hinze01,
  author       = {Ralf Hinze},
  title        = {Prolog's Control Constructs in a Functional Setting - Axioms and Implementation},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {12},
  number       = {2},
  pages        = {125--170},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0129054101000436},
  doi          = {10.1142/S0129054101000436},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Hinze01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Hinze01,
  author       = {Ralf Hinze},
  title        = {Polytypic Programming With Ease},
  journal      = {J. Funct. Log. Program.},
  volume       = {2001},
  number       = {3},
  year         = {2001},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Hinze01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze01,
  author       = {Ralf Hinze},
  title        = {Manufacturing datatypes},
  journal      = {J. Funct. Program.},
  volume       = {11},
  number       = {5},
  pages        = {493--524},
  year         = {2001},
  url          = {https://doi.org/10.1017/S095679680100404X},
  doi          = {10.1017/S095679680100404X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeJ01,
  author       = {Ralf Hinze and
                  Johan Jeuring},
  title        = {Weaving a web},
  journal      = {J. Funct. Program.},
  volume       = {11},
  number       = {6},
  pages        = {681--689},
  year         = {2001},
  url          = {https://doi.org/10.1017/S0956796801004129},
  doi          = {10.1017/S0956796801004129},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze01,
  author       = {Ralf Hinze},
  editor       = {Benjamin C. Pierce},
  title        = {A Simple Implementation Technique for Priority Search Queues},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {110--121},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507650},
  doi          = {10.1145/507635.507650},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze00,
  author       = {Ralf Hinze},
  title        = {Perfect trees and bit-reversal permutations},
  journal      = {J. Funct. Program.},
  volume       = {10},
  number       = {3},
  pages        = {305--317},
  year         = {2000},
  url          = {https://doi.org/10.1017/s0956796800003701},
  doi          = {10.1017/S0956796800003701},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze00a,
  author       = {Ralf Hinze},
  title        = {Generalizing generalized tries},
  journal      = {J. Funct. Program.},
  volume       = {10},
  number       = {4},
  pages        = {327--351},
  year         = {2000},
  url          = {https://doi.org/10.1017/s0956796800003713},
  doi          = {10.1017/S0956796800003713},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Hinze00,
  author       = {Ralf Hinze},
  editor       = {Martin Odersky and
                  Philip Wadler},
  title        = {Deriving backtracking monad transformers},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '00), Montreal, Canada, September
                  18-21, 2000},
  pages        = {186--197},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351240.351258},
  doi          = {10.1145/351240.351258},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze00,
  author       = {Ralf Hinze},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Polytypic Values Possess Polykinded Types},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {2--27},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_2},
  doi          = {10.1007/10722010\_2},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Hinze00,
  author       = {Ralf Hinze},
  editor       = {Mark N. Wegman and
                  Thomas W. Reps},
  title        = {A New Approach to Generic Functional Programming},
  booktitle    = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Boston, Massachusetts, USA,
                  January 19-21, 2000},
  pages        = {119--132},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/325694.325709},
  doi          = {10.1145/325694.325709},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Hinze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HinzeJ00,
  author       = {Ralf Hinze and
                  Simon L. Peyton Jones},
  editor       = {Graham Hutton},
  title        = {Derivable Type Classes},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
                  2000, Satellite Event of {PLI} 2000, Montreal, Canada, September 17,
                  2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {41},
  number       = {1},
  pages        = {5--35},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80542-0},
  doi          = {10.1016/S1571-0661(05)80542-0},
  timestamp    = {Thu, 01 Dec 2022 09:58:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HinzeJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/Hinze99,
  author       = {Ralf Hinze},
  title        = {Polytypic Functions Over Nested Datatypes},
  journal      = {Discret. Math. Theor. Comput. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {193--214},
  year         = {1999},
  url          = {https://doi.org/10.46298/dmtcs.266},
  doi          = {10.46298/DMTCS.266},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dmtcs/Hinze99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze99,
  author       = {Ralf Hinze},
  title        = {Explaining Binomial Heaps},
  journal      = {J. Funct. Program.},
  volume       = {9},
  number       = {1},
  pages        = {93--104},
  year         = {1999},
  url          = {https://doi.org/10.1017/s0956796899003317},
  doi          = {10.1017/S0956796899003317},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hinze99,
  author       = {Ralf Hinze},
  editor       = {Aart Middeldorp and
                  Taisuke Sato},
  title        = {Polytypic Programming With Ease (Extended Abstract)},
  booktitle    = {Functional and Logic Programming, 4th Fuji International Symposium,
                  FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1722},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10705424\_2},
  doi          = {10.1007/10705424\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Hinze99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hinze98,
  author       = {Ralf Hinze},
  editor       = {Masahiko Sato and
                  Yoshihito Toyama},
  title        = {Prological Features in a Functional Setting Axioms and Implementation},
  booktitle    = {Third Fuji International Symposium on Functional and Logic Programming,
                  {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
  pages        = {98--122},
  publisher    = {World Scientific, Singapore},
  year         = {1998},
  timestamp    = {Tue, 30 Jul 2019 10:47:11 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Hinze98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Hinze96,
  author       = {Ralf Hinze},
  editor       = {Wolfgang Bibel and
                  Herbert Fiedler and
                  Werner Grass and
                  Peter Gorny and
                  G{\"{u}}nter Hotz and
                  Immo O. Kerner and
                  R{\"{u}}diger Reischuk and
                  Friedrich Roithmayr},
  title        = {Projektionsbasierte Striktheitsanalyse},
  booktitle    = {Ausgezeichnete Informatikdissertationen 1996},
  pages        = {46--61},
  publisher    = {Vieweg+Teubner Verlag},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-322-91230-5\_3},
  doi          = {10.1007/978-3-322-91230-5\_3},
  timestamp    = {Mon, 17 Jan 2022 16:02:18 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Hinze96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0008628,
  author       = {Ralf Hinze},
  title        = {Projection-based strictness analysis - theoretical and practical aspects},
  school       = {University of Bonn, Germany},
  year         = {1995},
  url          = {https://d-nb.info/946714290},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0008628.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/vi/CremersGH94,
  author       = {Armin B. Cremers and
                  Ulrike Griefahn and
                  Ralf Hinze},
  title        = {Deduktive Datenbanken: Eine Einf{\"{u}}hrung aus der Sicht der
                  logischen Programmierung},
  publisher    = {Vieweg},
  year         = {1994},
  isbn         = {3-528-04700-3},
  timestamp    = {Mon, 28 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/vi/CremersGH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068050,
  author       = {Ralf Hinze},
  title        = {Einf{\"{u}}hrung in die funktionale Programmierung mit Miranda},
  publisher    = {Teubner},
  year         = {1992},
  isbn         = {978-3-519-02287-9},
  timestamp    = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0068050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/vdi/92/CremersEH92,
  author       = {Armin B. Cremers and
                  Elmar Eder and
                  Ralf Hinze},
  editor       = {Armin B. Cremers and
                  Rolf Haberbeck and
                  J{\"{u}}rgen Seetzen and
                  Ipke Wachsmuth},
  title        = {Die Rolle der mathematischen Logik in der K{\"{u}}nstlichen Intelligenz},
  booktitle    = {K{\"{u}}nstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit,
                  Band 1: Diskussionsgrundlage},
  series       = {{VDI} Report},
  volume       = {17},
  pages        = {60--65},
  publisher    = {Verein Deutscher Ingenieure VDI, D{\"{u}}sseldorf},
  year         = {1992},
  timestamp    = {Tue, 28 Apr 2020 18:11:15 +0200},
  biburl       = {https://dblp.org/rec/books/vdi/92/CremersEH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics