@article{reladj,
  title = "Relational Algebra by Way of Adjunctions",
  author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
  year = "2018",
  journal = "PACMPL",
  month = "September",
  note = "Winner of a Distinguished Paper Award",
  number = "ICFP",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf",
  volume = "2",
  doi = "10.1145/3236781",
}
@inproceedings{hylomorphisms,
  title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
  author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "POPL 2015",
  month = "January",
  pages = "527-538",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/papers/conj-hylo.pdf",
  doi = "10.1145/2676726.2676989",
}
@inproceedings{Wu2014,
  title = "Effect Handlers in Scope",
  author = "Nicolas Wu and Tom Schrijvers and Ralf Hinze",
  year = "2014",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2014 Haskell Symposium",
  publisher = "ACM",
  series = "Haskell '14",
  url = "http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf",
}
@misc{HiW13Squ,
  title = "Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  booktitle = "Een Lawine van Ontwortelde Bomen - Liber Amicorum voor Doaitse Swierstra",
  editor = "Hage, Jurriaan and Dijkstra, Atze",
  howpublished = "Liber amicorum voor Doaitse Swierstra",
  month = "may",
}
@proceedings{Hin13IFL,
  title = "Implementation and Application of Functional Languages",
  year = "2013",
  editor = "Hinze, Ralf",
  isbn = "978-3-642-41581-4",
  location = "Oxford, UK",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springeronline.com/978-3-642-41581-4",
  volume = "8241",
  doi = "10.1007/978-3-642-41582-1",
}
@inproceedings{HiW13His,
  title = "Histo- and Dynamorphisms Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
  editor = "Carette, Jacques and Willcock, Jeremiah",
  isbn = "978-1-4503-2389-5",
  location = "Boston, Massachusetts, USA",
  pages = "1--12",
  publisher = "ACM",
  series = "WGP '13",
  url = "http://doi.acm.org/10.1145/2502488.2502496",
  doi = "10.1145/2502488.2502496",
}
@inproceedings{HeH13Sor,
  title = "Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries",
  author = "Henglein, Fritz and Hinze, Ralf",
  year = "2013",
  booktitle = "Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013)",
  editor = "Shan, Chung-chieh",
  isbn = "978-3-319-03541-3",
  location = "Melbourne, Australia",
  pages = "315-332",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-03542-0_23",
  volume = "8301",
  doi = "10.1007/978-3-319-03542-0_23",
}
@inproceedings{HWG13Uni,
  title = "Unifying Structured Recursion Schemes",
  author = "Hinze, Ralf and Wu, Nicolas and Gibbons, Jeremy",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",
  editor = "Uustalu, Tarmo",
  location = "Boston, Massachusetts, USA",
  pages = "209--220",
  publisher = "ACM",
  series = "ICFP '13",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf",
  doi = "10.1145/2500365.2500578",
}
@incollection{HMW13Dua,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
  year = "2013",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151-167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2_11",
}
@article{Hin12Adj,
  title = "Adjoint folds and unfolds---An extended study",
  author = "Hinze, Ralf",
  year = "2013",
  journal = "Science of Computer Programming",
  number = "11",
  pages = "2108-2159",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.011",
}
@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}
@misc{HHJ12Fun,
  title = "Functional Pearl: F for Functor",
  author = "Hinze, Ralf and Hackett, Jennifer and James, Daniel W. H.",
  year = "2012",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/functor.html",
}
@inproceedings{Hin12Kan,
  title = "Kan Extensions for Program Optimisation---\emph{Or:} Art and Dan Explain an Old Trick",
  author = "Hinze, Ralf",
  year = "2012",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "11th International Conference on Mathematics of Program Construction (MPC '12)",
  editor = "Gibbons, Jeremy and Nogueira, Pablo",
  location = "Madrid, Spain",
  pages = "324–362",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "7342",
}
@incollection{Hin11Gen,
  title = "Generic Programming with Adjunctions",
  author = "Hinze, Ralf",
  year = "2012",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Spring School on Generic and Indexed Programming",
  editor = "Gibbons, Jeremy",
  isbn = "978-3-642-32201-3",
  location = "Oxford, UK",
  pages = "47-129",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "7470",
  doi = "10.1007/978-3-642-32202-0_2",
}
@inproceedings{HJH12Sor,
  title = "Sorting with bialgebras and distributive laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN workshop on Generic programming",
  isbn = "978-1-4503-1576-0",
  location = "Copenhagen, Denmark",
  pages = "69--80",
  publisher = "ACM",
  series = "WGP '12",
  url = "\url{http://doi.acm.org/10.1145/2364394.2364405}",
  doi = "10.1145/2364394.2364405",
}
@inproceedings{Hin10Typ,
  title = "Type Fusion",
  author = "Hinze, Ralf",
  year = "2011",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)",
  editor = "Pavlovic, Dusko and Johnson, Michael",
  location = "Manoir St-Castin, Qu\'{e}bec, Canada",
  pages = "92-110",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6486",
  doi = "10.1007/978-3-642-17796-5\_6",
}
@inproceedings{Hin09Sca,
  title = "Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem",
  author = "Hinze, Ralf",
  year = "2011",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)",
  editor = "Scholz, Sven-Bodo and Chitil, Olaf",
  location = "University of Hertfordshire, UK",
  pages = "1--24",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5836",
  doi = "10.1007/978-3-642-24452-0_1",
}
@inproceedings{HJH10The,
  title = "Theory and Practice of Fusion",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Tom",
  year = "2011",
  affiliation = "Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD England",
  booktitle = "Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)",
  editor = "Hage, Jurriaan and Morazán, Marco",
  location = "Alphen aan den Rijn, The Netherlands",
  month = "sep",
  pages = "19--37",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/fusion.html",
  volume = "6647",
  doi = "10.1007/978-3-642-24276-2_2",
}
@inproceedings{GiH11Doi,
  title = "Just do it: simple monadic equational reasoning",
  author = "Gibbons, Jeremy and Hinze, Ralf",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  pages = "2--14",
  publisher = "ACM",
  series = "ICFP '11",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
  doi = "10.1145/2034773.2034777",
}
@inproceedings{HiW11Cat,
  title = "Towards a categorical foundation for generic programming",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the seventh ACM SIGPLAN workshop on Generic programming",
  editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "47-58",
  publisher = "ACM",
  series = "WGP '11",
  url = "http://doi.acm.org/10.1145/2036918.2036926",
  doi = "10.1145/2036918.2036926",
}
@techreport{HJ11UFPTech,
  title = "Proving The Unique Fixed-Point Principle Correct",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "CS-RR-2011-03",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
}
@inproceedings{HJ11UFP,
  title = "Proving the unique fixed-point principle correct: an adventure with category theory",
  author = "Hinze, Ralf and James, Daniel W.H.",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  month = "September",
  pages = "359--371",
  publisher = "ACM",
  series = "ICFP '11",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/unique.html",
  doi = "10.1145/2034773.2034821",
}
@techreport{HHJ2011FusionTech,
  title = "Theory and Practice of Fusion",
  author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "CS-RR-2011-01",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
}
@article{Hin10Con,
  title = "Typed Quote/Antiquote---Or: Compile-time Parsing",
  author = "Hinze, Ralf",
  year = "2011",
  journal = "JFP",
  number = "3",
  pages = "219–234",
  volume = "21",
  doi = "10.1017/S0956796811000050",
}
@article{Hin10Con,
  title = "Concrete Stream Calculus---An extended study",
  author = "Hinze, Ralf",
  year = "2011",
  journal = "JFP",
  number = "5-6",
  pages = "463–535",
  volume = "20",
  doi = "10.1017/S0956796810000213",
}
@inproceedings{JaH09Ref,
  title = "A reflection-based proof tactic for lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2010",
  booktitle = "Post-conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria and Achten, Peter and Koopman, Pieter",
  isbn = "ISBN 978-1-84150-158-1",
  location = "Komarno, Slovakia",
  pages = "97-112",
  publisher = "Intellect",
  url = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/",
}
@inproceedings{Hin10Adj,
  title = "Adjoint Folds and Unfolds, Or: Scything through the Thicket of Morphisms",
  author = "Hinze, Ralf",
  year = "2010",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "10th International Conference on Mathematics of Program Construction (MPC '10)",
  editor = "Bolduc, Claude and Desharnais, Jules and Ktari, Béchir",
  location = "Manoir St-Castin, Québec, Canada",
  pages = "195-228",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "6120",
  doi = "10.1007/978-3-642-13321-3\_13",
}
@inproceedings{HiJ10Rea,
  title = "Reason isomorphically!",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)",
  editor = "Oliveira, Bruno C.d.S. and Zalewski, Marcin",
  isbn = "978-1-4503-0251-7",
  location = "Baltimore, Maryland, USA",
  month = "sep",
  pages = "85--96",
  publisher = "ACM",
  series = "WGP '10",
  doi = "10.1145/1863495.1863507",
}
@incollection{Hin10Rea,
  title = "Reasoning about Codata",
  author = "Hinze, Ralf",
  year = "2010",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Third Central European Functional Programming School (CEFP 2009)",
  editor = "Horv\'{a}th, Zolt\'{a}n and Plasmeijer, Rinus and Zs\'{o}k, Vikt\'{o}ria",
  location = "Komarno, Slovakia",
  pages = "42--93",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "6299",
  doi = "10.1007/978-3-642-17685-2\_3",
}
@inproceedings{Hin10Typ,
  title = "Type Fusion",
  author = "Hinze, Ralf",
  year = "2010",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)",
  editor = "Pavlovic, Dusko and Johnson, Michael",
  location = "Manoir St-Castin, Québec, Canada",
  note = "to appear",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6486",
}
@article{Hin10Edi,
  title = "Special Issue on Generic Programming Editorial",
  author = "Hinze, Ralf",
  year = "2010",
  journal = "JFP",
  number = "Special Issue 3--4",
  pages = "211-212",
  volume = "20",
  doi = "10.1017/S0956796810000286",
}
@incollection{JaH09Ref,
  title = "A reflection-based proof tactic for lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2009",
  booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
  chapter = "7",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
  isbn = "9781841504056",
  location = "Kom\'{a}rno, Slovakia",
  month = "June",
  note = "\url{http://www.intellectbooks.co.uk/books/view-Book,id=4740/}",
  pages = "97--112",
  publisher = "Intellect",
  series = "TFP'09",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}
@inproceedings{JaH09Ref,
  title = "A Reflection-based Proof Tactic for Lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2009",
  booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
  isbn = "9781841504056",
  location = "Komarno, Slovakia",
  month = "June",
  note = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/",
  publisher = "Intellect",
  series = "TFP '09",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}
@inproceedings{Hin09Han,
  title = "Functional pearl: la tour d'{H}ano\"{\i}",
  author = "Hinze, Ralf",
  year = "2009",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 14th {ACM SIGPLAN} international conference on Functional Programming (ICFP '09)",
  editor = "Tolmach, Andrew",
  isbn = "978-1-60558-332-7",
  location = "Edinburgh, Scotland",
  pages = "3-10",
  publisher = "ACM",
  doi = "10.1145/1596550.1596555",
}
@inproceedings{Hin09Sca,
  title = "Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem",
  author = "Hinze, Ralf",
  year = "2009",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)",
  editor = "Scholz, Sven-Bodo",
  location = "University of Hertfordshire, UK",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5836",
}
@article{Hin09Pur,
  title = "{Functional Pearl:} {Purely} Functional 1-2 Brother Trees",
  author = "Hinze, Ralf",
  year = "2009",
  journal = "JFP",
  number = "6",
  pages = "633-644",
  volume = "19",
  doi = "10.1017/S0956796809007333",
}
@article{Hin09Bir,
  title = "{Functional Pearl:} {The} {Bird} Tree",
  author = "Hinze, Ralf",
  year = "2009",
  journal = "JFP",
  number = "5",
  pages = "491–508",
  volume = "19",
  doi = "10.1017/S0956796809990116",
}
@article{HiL09Gen,
  title = "Generic Programming in {3D}",
  author = "Hinze, Ralf and L{\"o}h, Andres",
  year = "2009",
  journal = "Science of Computer Programming",
  month = "jun",
  number = "8",
  pages = "590-628",
  volume = "74",
  doi = "10.1016/j.scico.2007.10.006",
}
@proceedings{HiS08WGP,
  title = "Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)",
  year = "2008",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)",
  editor = "Hinze, Ralf and Syme, Don",
  isbn = "978-1-60558-060-9",
  location = "Victoria, BC, Canada",
  month = "sep",
  publisher = "ACM",
}
@inproceedings{Hin08Exp,
  title = "Exploiting Unique Fixed Points (Invited Lecture)",
  author = "Hinze, Ralf",
  year = "2008",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "9th International Conference on Mathematics of Program Construction (MPC '08)",
  editor = "Audebaud, Philippe and Paulin-Mohring, Christine",
  location = "Marseille (Luminy), France",
  month = "jul",
  pages = "1",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "5133",
  doi = "10.1007/978-3-540-70594-9\_1",
}
@inproceedings{Hin08Stre,
  title = "Functional pearl: streams and unique fixed points",
  author = "Hinze, Ralf",
  year = "2008",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 13th {ACM SIGPLAN} international conference on Functional Programming (ICFP '08)",
  editor = "Thiemann, Peter",
  isbn = "978-1-59593-919-7",
  location = "Victoria, BC, Canada",
  month = "sep",
  pages = "189-200",
  publisher = "ACM",
  doi = "10.1145/1411204.1411232",
}
@proceedings{BGH07DGP,
  title = "Datatype-Generic Programming",
  year = "2007",
  booktitle = "Datatype-Generic Programming",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  location = "Nottingham, UK",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "4719",
  doi = "10.1007/978-3-540-76786-2",
}
@incollection{HiL07Now,
  title = "Generic Programming, Now!",
  author = "Hinze, Ralf and L\"{o}h, Andres",
  year = "2007",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
  booktitle = "Datatype-Generic Programming",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  location = "Nottingham, UK",
  pages = "150-208",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "4719",
  doi = "10.1007/978-3-540-76786-2\_3",
}
@article{HiL07Gen,
  title = "Generic Programming in 3D",
  author = "Hinze, Ralf and L{\"o}h, Andres",
  year = "2007",
  journal = "Science of Computer Programming",
  note = "to appear",
}
@incollection{HJL07Com,
  title = "Comparing Approaches to Generic Programming in {Haskell}",
  author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
  year = "2007",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
  booktitle = "Datatype-Generic Programming",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  location = "Nottingham, UK",
  pages = "72-149",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "4719",
  doi = "10.1007/978-3-540-76786-2\_2",
}
@article{Hin06Gen,
  title = "Generics for the masses",
  author = "Hinze, Ralf",
  year = "2006",
  journal = "JFP",
  month = "July \& September",
  number = "4-5",
  pages = "451-483",
  volume = "16",
  doi = "10.1017/S0956796806006022",
}
@proceedings{Hin06WGP,
  title = "Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)",
  year = "2006",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)",
  editor = "Hinze, Ralf",
  isbn = "1-59593-492-6",
  location = "Portland, Oregon, USA",
  month = "sep",
  publisher = "ACM",
}
@article{HiP06Fin,
  title = "Finger trees: a simple general-purpose data structure",
  author = "Hinze, Ralf and Paterson, Ross",
  year = "2006",
  journal = "JFP",
  number = "2",
  pages = "197-217",
  volume = "16",
  doi = "10.1017/S0956796805005769",
}
@inproceedings{LoH06Ope,
  title = "Open data types and open functions",
  author = "L{\"o}h, Andres and Hinze, Ralf",
  year = "2006",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06)",
  editor = "Maher, Michael",
  isbn = "1-59593-388-3",
  location = "Venice, Italy",
  month = "jul",
  pages = "133-144",
  publisher = "ACM",
  doi = "10.1145/1140335.1140352",
}
@techreport{HiL06Ope,
  title = "Open data types and open functions",
  author = "Hinze, Ralf and L{\"o}h, Andres",
  year = "2006",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2006-3",
}
@inproceedings{HLo06Rev,
  title = "``{Scrap Your Boilerplate}'' Revolutions",
  author = "Hinze, Ralf and L\"{o}h, Andres",
  year = "2006",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "8th International Conference on Mathematics of Program Construction (MPC '06)",
  editor = "Uustalu, Tarmo",
  location = "Kuressaare, Estonia",
  month = "jul",
  pages = "180-208",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "4014",
  doi = "10.1007/11783596\_13",
}
@techreport{HLO06SYBTR,
  title = "``{Scrap Your Boilerplate}'' Reloaded",
  author = "Hinze, Ralf and L{\"o}h, Andres and Oliveira, Bruno C.d.S.",
  year = "2006",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jan",
  number = "IAI-TR-2006-2",
}
@inproceedings{HLO06SYB,
  title = "``{Scrap Your Boilerplate}'' Reloaded",
  author = "Hinze, Ralf and L\"{o}h, Andres and Oliveira, Bruno C.d.S.",
  year = "2006",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
  editor = "Hagiya, Masami and Wadler, Philip",
  location = "Fuji Susono, Japan",
  month = "apr",
  pages = "13-29",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "3945",
  doi = "10.1007/11737414\_3",
}
@inproceedings{HLO06Gen,
  title = "Generics as a Library",
  author = "Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres",
  year = "2006",
  booktitle = "Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06)",
  editor = "Nilsson, Henrik",
  isbn = "ISBN 9781841501888",
  location = "Nottingham, UK",
  publisher = "Intellect",
  url = "http://www.intellectbooks.co.uk/books/view-Book,id=4576/",
}
@inproceedings{HJL06Con,
  title = "Typed Contracts for Functional Programming",
  author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
  year = "2006",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
  editor = "Hagiya, Masami and Wadler, Philip",
  location = "Fuji Susono, Japan",
  month = "apr",
  pages = "208-225",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "3945",
  doi = "10.1007/11737414\_15",
}
@article{Hin05Chu,
  title = "{Theoretical Pearl:} {C}hurch numerals, twice!",
  author = "Hinze, Ralf",
  year = "2005",
  journal = "JFP",
  month = "jan",
  number = "1",
  pages = "1-13",
  volume = "15",
  doi = "10.1017/S0956796804005313",
}
@misc{Hin04Typ,
  title = "Typed Quote/Antiquote",
  author = "Hinze, Ralf",
  year = "2004",
  note = "in preparation",
}
@inproceedings{Hin04Sca,
  title = "An Algebra of Scans",
  author = "Hinze, Ralf",
  year = "2004",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04)",
  editor = "Kozen, Dexter",
  location = "Stirling, Scotland, UK",
  month = "jul",
  pages = "186-210",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "3125",
  doi = "10.1007/978-3-540-27764-4\_11",
}
@inproceedings{Hin04Gen,
  title = "Generics for the masses",
  author = "Hinze, Ralf",
  year = "2004",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the ninth ACM SIGPLAN international conference on Functional Programming (ICFP '04)",
  editor = "Fisher, Kathleen",
  isbn = "1-58113-905-5",
  location = "Snow Bird, UT, USA",
  month = "sep",
  pages = "236-243",
  publisher = "ACM",
  doi = "10.1145/1016850.1016882",
}
@article{Hin04Edi,
  title = "Special issue on functional pearls (Editorial)",
  author = "Hinze, Ralf",
  year = "2004",
  journal = "JFP",
  number = "6",
  pages = "601",
  volume = "14",
  doi = "10.1017/S0956796804005271",
}
@article{HJL03Typ,
  title = "Type-indexed data types",
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  year = "2004",
  journal = "Science of Computer Programming",
  month = "may",
  number = "1-2",
  pages = "117-151",
  volume = "51",
  doi = "10.1016/j.scico.2003.07.001",
}
@article{Hin03For,
  title = "{Functional Pearl:} {F}ormatting: a class act",
  author = "Hinze, Ralf",
  year = "2003",
  journal = "JFP",
  month = "sep",
  number = "5",
  pages = "935-944",
  volume = "13",
  doi = "10.1017/S0956796802004367",
}
@techreport{HiJ03GHPa,
  title = "Generic {Haskell}: Practice and Theory",
  author = "Hinze, Ralf and Jeuring, Johan",
  year = "2003",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2003-15",
}
@incollection{HiJ03GHP,
  title = "Generic {Haskell}: {Practice} and Theory",
  author = "Hinze, Ralf and Jeuring, Johan",
  year = "2003",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
  booktitle = "Generic Programming: {Advanced} Lectures",
  editor = "Backhouse, Roland and Gibbons, Jeremy",
  location = "Oxford, UK",
  pages = "1-56",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2793",
  doi = "10.1007/978-3-540-45191-4\_1",
}
@techreport{HiJ03GHAa,
  title = "Generic {Haskell}: Applications",
  author = "Hinze, Ralf and Jeuring, Johan",
  year = "2003",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2003-16",
}
@incollection{HiJ03GHA,
  title = "Generic {Haskell}: {Applications}",
  author = "Hinze, Ralf and Jeuring, Johan",
  year = "2003",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
  booktitle = "Generic Programming: {Advanced} Lectures",
  editor = "Backhouse, Roland and Gibbons, Jeremy",
  location = "Oxford, UK",
  pages = "57-96",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2793",
  doi = "10.1007/978-3-540-45191-4\_2",
}
@inproceedings{BiH03Tro,
  title = "{Functional Pearl}: {Trouble} shared is trouble halved",
  author = "Bird, Richard and Hinze, Ralf",
  year = "2003",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell '03)",
  editor = "Jeuring, Johan",
  isbn = "1-58113-758-3",
  location = "Uppsala, Sweden",
  month = "sep",
  pages = "1--6",
  publisher = "ACM",
  doi = "10.1145/871895.871896",
}
@incollection{Hin03Fun,
  title = "Fun with phantom types",
  author = "Hinze, Ralf",
  year = "2003",
  booktitle = "The Fun of Programming",
  editor = "Gibbons, Jeremy and {de Moor}, Oege",
  isbn = "ISBN 9781403907721 hardback, ISBN 9780333992852 paperback",
  pages = "245-262",
  publisher = "Palgrave Macmillan",
  series = "Cornerstones of Computing",
}
@misc{HiP02Typ,
  title = "Derivation of a Typed Functional {LR} Parser",
  author = "Hinze, Ralf and Paterson, Ross",
  year = "2003",
  note = "in preparation",
}
@techreport{ChH03Pha,
  title = "First-Class Phantom Types",
  author = "Cheney, James and Hinze, Ralf",
  year = "2003",
  institution = "Cornell University",
}
@article{Hin02Fre,
  title = "{Functional Pearl:} {A} fresh look at binary search trees",
  author = "Hinze, Ralf",
  year = "2002",
  journal = "JFP",
  month = "nov",
  number = "6",
  pages = "601-607",
  volume = "12",
  doi = "10.1017/S0956796801004269",
}
@inproceedings{Hin02Con,
  title = "Constructing Tournament Representations: {An} Exercise in Pointwise Relational Programming",
  author = "Hinze, Ralf",
  year = "2002",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
  editor = "Boiten, Eerke A. and Möller, Bernhard",
  location = "Dagstuhl, Germany",
  month = "jul",
  pages = "131--147",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2386",
  doi = "10.1007/3-540-45442-X\_9",
}
@inproceedings{Hin02Boo,
  title = "Bootstrapping one-sided flexible arrays",
  author = "Hinze, Ralf",
  year = "2002",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02)",
  editor = "{Peyton Jones}, Simon",
  isbn = "1-58113-487-8",
  location = "Pittsburgh, PA, USA",
  month = "oct",
  pages = "2-13",
  publisher = "ACM",
  doi = "10.1145/581478.581480",
}
@inproceedings{ChH02Lig,
  title = "A lightweight implementation of generics and dynamics",
  author = "Cheney, James and Hinze, Ralf",
  year = "2002",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02)",
  editor = "Chakravarty, Manuel M.T.",
  isbn = "1-58113-605-6",
  location = "Pittsburgh, PA, USA",
  month = "oct",
  pages = "90-104",
  publisher = "ACM",
  doi = "10.1145/581690.581698",
}
@article{Hin02Pol,
  title = "Polytypic values possess polykinded types",
  author = "Hinze, Ralf",
  year = "2002",
  journal = "Science of Computer Programming",
  month = "May-June",
  number = "2-3",
  pages = "129-159",
  volume = "43",
  doi = "10.1016/S0167-6423(02)00025-4",
}
@techreport{Hin02Cona,
  title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
  author = "Hinze, Ralf",
  year = "2002",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2002-2",
}
@techreport{Hin02Chu,
  title = "Church numerals, twice!",
  author = "Hinze, Ralf",
  year = "2002",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2002-3",
}
@techreport{HJL02Typa,
  title = "Type-indexed data types",
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  year = "2002",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2002-11",
}
@inproceedings{HJL02Typ,
  title = "Type-indexed Data Types",
  author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
  year = "2002",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
  editor = "Boiten, Eerke A. and Möller, Bernhard",
  location = "Dagstuhl, Germany",
  month = "jul",
  pages = "148--174",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2386",
  doi = "10.1007/3-540-45442-X\_10",
}
@techreport{AcH02Com,
  title = "Combining Generics and Dynamics",
  author = "Achten, Peter and Hinze, Ralf",
  year = "2002",
  institution = "Nijmegen Institute for Computing and Information Sciences, University of Nijmegen",
  month = "jul",
  number = "NIII-R0206",
}
@inproceedings{Hin01PSQb,
  title = "A simple implementation technique for priority search queues",
  author = "Hinze, Ralf",
  year = "2001",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (ICFP '01)",
  editor = "Leroy, Xavier",
  isbn = "1-58113-415-0",
  location = "Florence, Italy",
  month = "sep",
  pages = "110--121",
  publisher = "ACM",
  doi = "10.1145/507635.507650",
}
@proceedings{Hin01HW,
  title = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
  year = "2001",
  booktitle = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
  editor = "Hinze, Ralf",
  location = "Florence, Italy",
  month = "sep",
  note = "The preliminary proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2001-62",
  publisher = "Electronic Notes in Theoretical Computer Science",
  volume = "59",
}
@article{Hin00Pol,
  title = "Polytypic Programming With Ease",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "Journal of Functional and Logic Programming",
  month = "jul",
  number = "3",
  publisher = "EAPLS",
  url = "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html",
  volume = "2001",
}
@techreport{HiJ01Weaa,
  title = "{Functional Pearl}: Weaving a Web",
  author = "Hinze, Ralf",
  year = "2001",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2001-33",
}
@techreport{CHJLW01Gen,
  title = "The {Generic Haskell} user's guide",
  author = "Clarke, Dave and Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres and {de Wit}, Jan",
  year = "2001",
  institution = "Universiteit Utrecht",
  month = "nov",
  number = "UU-CS-2001-26",
}
@article{Hin01Pro,
  title = "{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "IJFCS",
  number = "2",
  pages = "125-170",
  volume = "12",
  doi = "10.1142/S0129054101000436",
}
@techreport{Hin01PSQ,
  title = "A Simple Implementation Technique for Priority Search Queues",
  author = "Hinze, Ralf",
  year = "2001",
  institution = "Universiteit Utrecht",
  month = "mar",
  number = "UU-CS-2001-09",
}
@article{Hin00Man,
  title = "Manufacturing datatypes",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "JFP",
  month = "sep",
  number = "5",
  pages = "493-524",
  volume = "11",
  doi = "10.1017/S095679680100404X",
}
@article{HiJ01Wea,
  title = "{Functional Pearl:} {W}eaving a web",
  author = "Hinze, Ralf and Jeuring, Johan",
  year = "2001",
  journal = "JFP",
  month = "nov",
  number = "6",
  pages = "681-689",
  volume = "11",
  doi = "10.1017/S0956796801004129",
}
@inproceedings{HPJ00Pol,
  title = "Derivable Type Classes",
  author = "Hinze, Ralf and {Peyton Jones}, Simon",
  year = "2001",
  booktitle = "Proceedings of the 2000 ACM SIGPLAN Haskell Workshop",
  editor = "Hutton, Graham",
  location = "Montreal, Canada",
  month = "aug",
  note = "The preliminary proceedings appeared as a University of Nottingham technical report",
  pages = "5-35",
  publisher = "Elsevier Science",
  volume = "41(1) of Electronic Notes in Theoretical Computer Science",
  doi = "10.1016/S1571-0661(05)80542-0",
}
@inproceedings{Hin00New,
  title = "A new approach to generic functional programming",
  author = "Hinze, Ralf",
  year = "2000",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} symposium on Principles of programming languages (POPL '00)",
  editor = "Reps, Thomas W.",
  isbn = "1-58113-125-9",
  location = "Boston, MA, USA",
  month = "jan",
  pages = "119--132",
  publisher = "ACM",
  doi = "10.1145/325694.325709",
}
@inproceedings{Hin00Mem,
  title = "Memo functions, polytypically!",
  author = "Hinze, Ralf",
  year = "2000",
  booktitle = "Proceedings of the second Workshop on Generic Programming",
  editor = "Jeuring, Johan",
  location = "Ponte de Lima, Portugal",
  month = "jul",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
  pages = "17--32",
}
@inproceedings{Hin00MPC,
  title = "Polytypic Values Possess Polykinded Types",
  author = "Hinze, Ralf",
  year = "2000",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)",
  editor = "Backhouse, Roland and Oliveira, José",
  location = "Ponte de Lima, Portugal",
  month = "jul",
  pages = "2-27",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "1837",
  doi = "10.1007/10722010\_2",
}
@phdthesis{Hin00Hab,
  title = "Generic Programs and Proofs",
  author = "Hinze, Ralf",
  year = "2000",
  school = "Universit\"{a}t Bonn",
}
@article{Hin00Gen,
  title = "Generalizing generalized tries",
  author = "Hinze, Ralf",
  year = "2000",
  journal = "JFP",
  number = "4",
  pages = "327-351",
  volume = "10",
  doi = "10.1017/S0956796800003713",
}
@inproceedings{Hin00Eff,
  title = "Efficient Generalized Folds",
  author = "Hinze, Ralf",
  year = "2000",
  booktitle = "Proceedings of the second Workshop on Generic Programming",
  editor = "Jeuring, Johan",
  location = "Ponte de Lima, Portugal",
  month = "jul",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
  pages = "1--16",
}
@inproceedings{Hin00Der,
  title = "Deriving backtracking monad transformers",
  author = "Hinze, Ralf",
  year = "2000",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00)",
  editor = "Wadler, Phil",
  isbn = "1-58113-202-6",
  location = "Montreal, Canada",
  month = "sep",
  pages = "186--197",
  publisher = "ACM",
  doi = "10.1145/351240.351258",
}
@article{Hin00Per,
  title = "{Functional Pearl:} {Perfect} trees and bit-reversal permutations",
  author = "Hinze, Ralf",
  year = "2000",
  journal = "JFP",
  month = "may",
  number = "3",
  pages = "305-317",
  volume = "10",
  doi = "10.1017/S0956796800003701",
}
@misc{PJH99Library,
  title = "Standard Libraries for the {Haskell}~98 Programming Language",
  author = "{Peyton Jones} [editor] and Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
  year = "1999",
  editor = "{Peyton Jones}, Simon and Hughes, John",
  howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
  month = "feb",
}
@misc{PJH99Library,
  title = "Standard Libraries for the {Haskell}~98 Programming Language",
  author = "Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
  year = "1999",
  editor = "{Peyton Jones}, Simon and Hughes, John",
  howpublished = "Available from \url{http://www.haskell.org/definition/}",
  month = "feb",
}
@article{Hin99Polb,
  title = "Polytypic Functions Over Nested Datatypes",
  author = "Hinze, Ralf",
  year = "1999",
  journal = "Discrete Mathematics and Theoretical Computer Science",
  month = "sep",
  number = "4",
  pages = "193-214",
  url = "http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/109",
  volume = "3",
}
@inproceedings{Hin99Pol,
  title = "Polytypic Functions Over Nested Datatypes (Extended Abstract)",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the 3rd Latin-American Conference on Functional Programming ({CLaPF '99})",
  editor = "Lins, Rafael Dueire",
  location = "Recife, Brazil",
  month = "mar",
  url = "http://www.di.ufpe.br/~clapf99/",
}
@inproceedings{Hin99Easb,
  title = "Polytypic Programming With Ease (Extended Abstract)",
  author = "Hinze, Ralf",
  year = "1999",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the 4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS '99})",
  editor = "Middeldorp, Aart and Sato, Taisuke",
  location = "Tsukuba, Japan",
  month = "nov",
  pages = "21-36",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "1722",
  doi = "10.1007/10705424\_2",
}
@misc{PJH99Report,
  title = "{Haskell}~98 --- {A} Non-strict, Purely Functional Language",
  author = "{Peyton Jones} [editor] and Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
  year = "1999",
  editor = "{Peyton Jones}, Simon and Hughes, John",
  howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
  month = "feb",
}
@techreport{Hin99RBT,
  title = "Constructing Red-Black Trees",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "may",
  number = "IAI-TR-99-6",
}
@techreport{Hin99Polc,
  title = "Polytypic values possess polykinded types",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-99-15",
}
@techreport{Hin99Per,
  title = "Perfect Trees and Bit-reversal Permutations",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "mar",
  number = "IAI-TR-99-4",
}
@article{Hin99PFDS,
  title = "{Book review:} {``Purely Functional Data Structures''}, by {Chris Okasaki}",
  author = "Hinze, Ralf",
  year = "1999",
  journal = "JFP",
  month = "sep",
  number = "5",
  pages = "577--578",
  volume = "9",
  doi = "doi: 10.1017/S0956796899009995",
}
@techreport{Hin99New,
  title = "A New Approach to Generic Functional Programming",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jul",
  number = "IAI-TR-99-9",
}
@inproceedings{Hin99Manb,
  title = "Manufacturing Datatypes",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)",
  editor = "Okasaki, Chris",
  location = "Paris, France",
  month = "sep",
  note = "The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|",
  pages = "1--16",
}
@techreport{Hin99Man,
  title = "Manufacturing Datatypes",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "apr",
  number = "IAI-TR-99-5",
}
@inproceedings{Hin99Has,
  title = "A Generic Programming Extension for {Haskell}",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}",
  editor = "Meijer, Erik",
  location = "Paris, France",
  month = "sep",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28",
}
@techreport{Hin99Eff,
  title = "Efficient Generalized Folds",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jun",
  number = "IAI-TR-99-8",
}
@techreport{Hin99Eas,
  title = "Polytypic Programming With Ease",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-99-2",
}
@techreport{Hin99Der,
  title = "Deriving monad transformers",
  author = "Hinze, Ralf",
  year = "1999",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jan",
  number = "IAI-TR-99-1",
}
@inproceedings{Hin99Con,
  title = "Constructing Red-Black Trees",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99)",
  editor = "Okasaki, Chris",
  location = "Paris, France",
  month = "sep",
  note = "The proceedings appeared as a technical report of Columbia University, CUCS-023-99",
  pages = "89--99",
}
@article{Hin99Bin,
  title = "{Functional Pearl:} {Explaining} binomial heaps",
  author = "Hinze, Ralf",
  year = "1999",
  journal = "JFP",
  month = "jan",
  number = "1",
  pages = "93-104",
  volume = "9",
  doi = "10.1017/S0956796899003317",
}
@inproceedings{GHK99Str,
  title = "Straight to the Heart of Computer Science via Functional Programming",
  author = "Giegerich, Robert and Hinze, Ralf and Kurtz, Stefan",
  year = "1999",
  booktitle = "Proceedings of the Workshop on Functional and Declarative Programming in Education, {FDPE'99}, {Paris}, {France}",
  editor = "Felleisen, Matthias and Hanus, Michael and Thompson, Simon",
  location = "Paris, France",
  month = "sep",
  note = "The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346",
  pages = "1--5",
}
@incollection{Hin98Str,
  title = "Projektionsbasierte {S}triktheitsanalyse",
  author = "Hinze, Ralf",
  year = "1998",
  address = "Stuttgart",
  booktitle = "Ausgezeichnete Informatikdissertationen 1996",
  isbn = "3-519-02646-5",
  pages = "46-61",
  publisher = "B.G.~Teubner",
}
@inproceedings{Hin98Pro,
  title = "Prological Features in a Functional Setting --- Axioms and Implementations",
  author = "Hinze, Ralf",
  year = "1998",
  address = "Singapore, New Jersey, London, Hong Kong",
  booktitle = "Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)",
  editor = "Sato, Masahiko and Toyama, Yoshihito",
  isbn = "ISBN 981-02-3384-1",
  location = "Kyoto, Japan",
  month = "apr",
  pages = "98--122",
  publisher = "World Scientific",
}
@techreport{Hin98Pol,
  title = "Polytypic Functions Over Nested Datatypes",
  author = "Hinze, Ralf",
  year = "1998",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "oct",
  number = "IAI-TR-98-10",
}
@techreport{Hin98Num,
  title = "Numerical Representations as Higher-Order Nested Datatypes",
  author = "Hinze, Ralf",
  year = "1998",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-98-12",
}
@techreport{Hin98Gen,
  title = "Generalizing Generalized Tries",
  author = "Hinze, Ralf",
  year = "1998",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "nov",
  number = "IAI-TR-98-11",
}
@techreport{Hin96Eff,
  title = "Efficient Monadic-style Backtracking",
  author = "Hinze, Ralf",
  year = "1996",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "oct",
  number = "IAI-TR-96-9",
}
@phdthesis{Hin95Pro,
  title = "Projection-based Strictness Analysis --- Theoretical and Practical Aspects",
  author = "Hinze, Ralf",
  year = "1995",
  month = "nov",
  school = "Universit\"{a}t Bonn",
}
@book{CGH94Ded,
  title = "Deduktive Datenbanken --- Eine Einführung aus der Sicht der logischen Programmierung",
  author = "Cremers, Armin B. and Griefahn, Ulrike and Hinze, Ralf",
  year = "1994",
  address = "Braunschweig/Wiesbaden",
  booktitle = "Deduktive Datenbanken --- Eine Einführung aus der Sicht der logischen Programmierung",
  isbn = "3-528-04700-3",
  publisher = "Vieweg",
  series = "K{\"u}nstliche Intelligenz",
}
@incollection{CEH93Rol,
  title = "Die Rolle der mathematischen Logik in der K{\"u}nstlichen Intelligenz",
  author = "Cremers, Armin B. and Eder, Elmar and Hinze, Ralf",
  year = "1993",
  booktitle = "K{\"u}nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage",
  publisher = "Verein Deutscher Ingenieure",
}
@unpublished{Hin92b,
  title = "Einf{\"u}hrung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung",
  author = "Hinze, R.",
  year = "1992",
  note = "Vorlesungsskript SS 92, Universit{\"a}t Bonn, Institut f{\"u}r Informatik III",
}
@book{Hin92Fun,
  title = "Einführung in die funktionale Programmierung mit Miranda",
  author = "Hinze, Ralf",
  year = "1992",
  address = "Stuttgart",
  booktitle = "Einführung in die funktionale Programmierung mit Miranda",
  isbn = "3-519-02287-7",
  publisher = "B.G.~Teubner",
}
@techreport{Hin92Cat,
  title = "The Categorical Abstract Machine: Basics and Enhancments",
  author = "Hinze, Ralf",
  year = "1992",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-92-1",
}
@mastersthesis{Hin89Typ,
  title = "Typsysteme und {Typinferenzsysteme}",
  author = "Hinze, Ralf",
  year = "1989",
  month = "may",
  school = "Universit\"{a}t Dortmund",
}