@incollection{HiL07Now,
  author = "Hinze, Ralf and L{\"o}h, Andres",
  booktitle = "Datatype-Generic Programming 2006",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  note = "To appear",
  pages = "150--208",
  publisher = "Springer",
  series = "LNCS",
  title = "Generic Programming, Now!",
  volume = "4719",
  year = "2007",
}


    
      @article{HiL07Gen,
  author = "Hinze, Ralf and L{\"o}h, Andres",
  journal = "Science of Computer Programming",
  note = "to appear",
  title = "Generic Programming in 3D",
  year = "2007",
}


    
      @incollection{HJL07Com,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  booktitle = "Datatype-Generic Programming 2006",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  note = "To appear",
  publisher = "Springer",
  series = "LNCS",
  title = "Comparing Approaches to Generic Programming",
  volume = "4719",
  year = "2007",
}


    
      @inproceedings{LoH06Ope,
  author = "L{\"o}h, Andres and Hinze, Ralf",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy",
  month = "jul",
  pages = "133-144",
  publisher = "ACM-Press",
  title = "Open data types and open functions",
  year = "2006",
}


    
      @article{Hin06Gen,
  author = "Hinze, Ralf",
  journal = "J.~Functional Programming",
  month = "July \& September",
  number = "4 \& 5",
  pages = "451--483",
  title = "Generics for the masses",
  volume = "16",
  year = "2006",
}


    
      @techreport{HiL06Ope,
  author = "Hinze, Ralf and L{\"o}h, Andres",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2006-3",
  title = "Open data types and open functions",
  year = "2006",
}


    
      @inproceedings{HLo06Rev,
  author = "Hinze, Ralf and L{\"o}h, Andres",
  booktitle = "8th International Conference on Mathematics of Program Construction (MPC '06)",
  editor = "Uustalu, Tarmo",
  month = "jul",
  pages = "180-208",
  publisher = "Springer",
  series = "LNCS",
  title = "``{Scrap Your Boilerplate}'' Revolutions",
  volume = "4014",
  year = "2006",
}


    
      @techreport{HLO06SYBTR,
  author = "Hinze, Ralf and L{\"o}h, Andres and Oliveira, Bruno C.d.S.",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jan",
  number = "IAI-TR-2006-2",
  title = "``{Scrap Your Boilerplate}'' Reloaded",
  year = "2006",
}


    
      @inproceedings{HLO06SYB,
  author = "Hinze, Ralf and L{\"o}h, Andres and Oliveira, Bruno C.d.S.",
  booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan",
  editor = "Wadler, Philip and Hagiya, Masimi",
  month = "apr",
  pages = "13-29",
  publisher = "Springer",
  series = "LNCS",
  title = "``{Scrap Your Boilerplate}'' Reloaded",
  volume = "3945",
  year = "2006",
}


    
      @inproceedings{HLO06Gen,
  author = "Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres",
  booktitle = "Proceedings of the Seventh Symposium on Trends in Functional Programming, April 19--21, 2006, Nottingham, UK",
  editor = "Nilsson, Henrik",
  title = "Generics as a Library",
  year = "2006",
}


    
      @inproceedings{HJL06Con,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan",
  editor = "Wadler, Philip and Hagiya, Masami",
  month = "apr",
  pages = "208-225",
  publisher = "Springer",
  series = "LNCS",
  title = "Typed Contracts for Functional Programming",
  volume = "3945",
  year = "2006",
}


    
      @article{Hin04Chu,
  author = "Hinze, Ralf",
  journal = "J.~Functional Programming",
  month = "jan",
  number = "1",
  pages = "1--13",
  title = "{Theoretical Pearl:} {C}hurch numerals, twice!",
  volume = "15",
  year = "2005",
}


    
      @inproceedings{Hin04Sca,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12--14, 2004",
  editor = "Kozen, Dexter",
  month = "jul",
  publisher = "Springer",
  series = "LNCS",
  title = "An algebra of scans",
  volume = "3125",
  year = "2004",
}


    
      @inproceedings{Hin04Gen,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19--22, 2004",
  editor = "Fisher, Kathleen",
  month = "sep",
  pages = "236-243",
  publisher = "ACM-Press",
  title = "Generics for the masses",
  year = "2004",
}


    
      @article{HJL03Typ,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  journal = "Science of Computer Programming",
  pages = "117-151",
  title = "Type-indexed data types",
  volume = "51",
  year = "2004",
}


    
      @incollection{Hin03Fun,
  author = "Hinze, Ralf",
  booktitle = "The Fun of Programming",
  editor = "Gibbons, Jeremy and {de Moor}, Oege",
  note = "ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback",
  pages = "245--262",
  publisher = "Palgrave Macmillan",
  title = "Fun with phantom types",
  year = "2003",
}


    
      @article{Hin03For,
  author = "Hinze, Ralf",
  journal = "J.~Functional Programming",
  month = "sep",
  number = "5",
  pages = "935--944",
  title = "{Functional Pearl:} {F}ormatting: a class act",
  volume = "13",
  year = "2003",
}


    
      @misc{HiP02Typ,
  author = "Hinze, Ralf and Paterson, Ross",
  note = "in preparation",
  title = "Derivation of a Typed Functional {LR} Parser",
  year = "2003",
}


    
      @techreport{HiJ03GHPa,
  author = "Hinze, Ralf and Jeuring, Johan",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2003-15",
  title = "Generic Haskell: Practice and Theory",
  year = "2003",
}


    
      @incollection{HiJ03GHP,
  author = "Hinze, Ralf and Jeuring, Johan",
  booktitle = "Generic Programming: Advanced Lectures",
  editor = "Backhouse, Roland and Gibbons, Jeremy",
  pages = "1--56",
  publisher = "Springer",
  series = "LNCS",
  title = "Generic {Haskell}: Practice and Theory",
  volume = "2793",
  year = "2003",
}


    
      @techreport{HiJ03GHAa,
  author = "Hinze, Ralf and Jeuring, Johan",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2003-16",
  title = "Generic Haskell: Applications",
  year = "2003",
}


    
      @incollection{HiJ03GHA,
  author = "Hinze, Ralf and Jeuring, Johan",
  booktitle = "Generic Programming: Advanced Lectures",
  editor = "Backhouse, Roland and Gibbons, Jeremy",
  pages = "57--97",
  publisher = "Springer",
  series = "LNCS",
  title = "Generic {Haskell}: Applications",
  volume = "2793",
  year = "2003",
}


    
      @techreport{ChH03Pha,
  author = "Cheney, James and Hinze, Ralf",
  institution = "Cornell University",
  title = "First-Class Phantom Types",
  year = "2003",
}


    
      @inproceedings{BiH03Tro,
  author = "Bird, Richard and Hinze, Ralf",
  booktitle = "Proceedings of the 2003 ACM SIGPLAN Haskell Workshop",
  editor = "Jeuring, Johan",
  month = "sep",
  pages = "1--6",
  publisher = "ACM-Press",
  title = "Functional Pearl: {Trouble} Shared is Trouble Halved",
  year = "2003",
}


    
      @article{Hin02Pol,
  author = "Hinze, Ralf",
  journal = "Science of Computer Programming",
  pages = "129-159",
  title = "Polytypic values possess polykinded types",
  volume = "43",
  year = "2002",
}


    
      @article{Hin02Fre,
  author = "Hinze, Ralf",
  journal = "J.~Functional Programming",
  month = "nov",
  number = "6",
  pages = "601--607",
  title = "{Functional Pearl:} {A} fresh look at binary search trees",
  volume = "12",
  year = "2002",
}


    
      @techreport{Hin02Cona,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2002-2",
  title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
  year = "2002",
}


    
      @inproceedings{Hin02Con,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002",
  editor = "Boiten, Eerke A. and M{\"o}ller, Bernhard",
  month = "jul",
  pages = "131--147",
  publisher = "Springer",
  series = "LNCS",
  title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
  volume = "2386",
  year = "2002",
}


    
      @techreport{Hin02Chu,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2002-3",
  title = "Church numerals, twice!",
  year = "2002",
}


    
      @inproceedings{Hin02Boo,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4--6, 2002",
  editor = "{Peyton Jones}, Simon",
  month = "oct",
  pages = "01/02/13",
  publisher = "ACM-Press",
  title = "Bootstrapping One-sided Flexible Arrays",
  year = "2002",
}


    
      @techreport{HJL02Typa,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2002-11",
  title = "Type-indexed data types",
  year = "2002",
}


    
      @inproceedings{HJL02Typ,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002",
  editor = "Boiten, Eerke A. and M{\"o}ller, Bernhard",
  month = "jul",
  pages = "148--174",
  publisher = "Springer",
  series = "LNCS",
  title = "Type-indexed data types",
  volume = "2386",
  year = "2002",
}


    
      @inproceedings{ChH02Lig,
  author = "Cheney, James and Hinze, Ralf",
  booktitle = "Proceedings of the 2002 ACM SIGPLAN Haskell Workshop",
  editor = "Chakravarty, Manuel M.T.",
  month = "oct",
  pages = "90-104",
  publisher = "ACM-Press",
  title = "A Lightweight Implementation of Generics and Dynamics",
  year = "2002",
}


    
      @techreport{AcH02Com,
  author = "Achten, Peter and Hinze, Ralf",
  institution = "Nijmegen Institute for Computing and Information Sciences, University of Nijmegen",
  month = "jul",
  number = "NIII-R0206",
  title = "Combining Generics and Dynamics",
  year = "2002",
}


    
      @article{Hin01Pro,
  author = "Hinze, Ralf",
  journal = "International Journal of Foundations of Computer Science",
  number = "2",
  pages = "125-170",
  title = "{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation",
  volume = "12",
  year = "2001",
}


    
      @inproceedings{Hin01PSQb,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001",
  editor = "Leroy, Xavier",
  month = "sep",
  pages = "110--121",
  title = "A Simple Implementation Technique for Priority Search Queues",
  year = "2001",
}


    
      @techreport{Hin01PSQ,
  author = "Hinze, Ralf",
  institution = "Universiteit Utrecht",
  month = "mar",
  number = "UU-CS-2001-09",
  title = "A Simple Implementation Technique for Priority Search Queues",
  year = "2001",
}


    
      @article{Hin00Pol,
  author = "Hinze, Ralf",
  journal = "Journal of Functional and Logic Programming",
  month = "jul",
  number = "3",
  publisher = "European Association for Programming Languages and Systems",
  title = "Polytypic Programming With Ease",
  volume = "2001",
  year = "2001",
}


    
      @article{Hin00Man,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages",
  month = "sep",
  number = "5",
  pages = "493--524",
  title = "Manufacturing Datatypes",
  volume = "11",
  year = "2001",
}


    
      @techreport{HiJ01Weaa,
  author = "Hinze, Ralf",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2001-33",
  title = "Functional Pearl: Weaving a Web",
  year = "2001",
}


    
      @article{HiJ01Wea,
  author = "Hinze, Ralf and Jeuring, Johan",
  journal = "Journal of Functional Programming",
  month = "nov",
  number = "6",
  pages = "681--689",
  title = "{Functional Pearl:} {W}eaving a Web",
  volume = "11",
  year = "2001",
}


    
      @inproceedings{HPJ00Pol,
  author = "Hinze, Ralf and {Peyton Jones}, Simon",
  booktitle = "Proceedings of the 2000 ACM SIGPLAN Haskell Workshop",
  editor = "Hutton, Graham",
  month = "aug",
  note = "The preliminary proceedings appeared as a University of Nottingham technical report",
  publisher = "Elsevier Science",
  title = "Derivable Type Classes",
  volume = "41.1 of Electronic Notes in Theoretical Computer Science",
  year = "2001",
}


    
      @techreport{CHJLW01Gen,
  author = "Clarke, Dave and Hinze, Ralf and Jeuring, Johan and L?h, Andres and {de Wit}, Jan",
  institution = "Universiteit Utrecht",
  month = "nov",
  number = "UU-CS-2001-26",
  title = "The Generic Haskell user's guide",
  year = "2001",
}


    
      @article{Hin00Per,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming",
  month = "may",
  number = "3",
  pages = "305--317",
  title = "{Functional Pearl:} {Perfect} trees and bit-reversal permutations",
  volume = "10",
  year = "2000",
}


    
      @inproceedings{Hin00New,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 27th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL'00), {Boston}, {Massachusetts}, January 19-21",
  editor = "Reps, Thomas W.",
  month = "jan",
  pages = "119--132",
  title = "A New Approach to Generic Functional Programming",
  year = "2000",
}


    
      @inproceedings{Hin00Mem,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}",
  editor = "Jeuring, Johan",
  month = "jul",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
  pages = "17--32",
  title = "Memo functions, polytypically!",
  year = "2000",
}


    
      @inproceedings{Hin00MPC,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000",
  editor = "Backhouse, Roland and Oliveira, J.N.",
  month = "jul",
  pages = "2--27",
  publisher = "Springer",
  series = "LNCS",
  title = "Polytypic values possess polykinded types",
  volume = "1837",
  year = "2000",
}


    
      @article{Hin00Gen,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming",
  month = "jul",
  number = "4",
  pages = "327--351",
  title = "Generalizing Generalized Tries",
  volume = "10",
  year = "2000",
}


    
      @inproceedings{Hin00Eff,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}",
  editor = "Jeuring, Johan",
  month = "jul",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
  pages = "1--16",
  title = "Efficient Generalized Folds",
  year = "2000",
}


    
      @inproceedings{Hin00Der,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000",
  editor = "Wadler, Phil",
  month = "sep",
  pages = "186--197",
  title = "Deriving Backtracking Monad Transformers",
  year = "2000",
}


    
      @misc{PJH99Report,
  author = "{Peyton Jones} [editor], 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",
  editor = "{Peyton Jones}, Simon and Hughes, John",
  howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
  month = "feb",
  title = "{Haskell}~98 --- {A} Non-strict, Purely Functional Language",
  year = "1999",
}


    
      @misc{PJH99Library,
  author = "{Peyton Jones} [editor], 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",
  editor = "{Peyton Jones}, Simon and Hughes, John",
  howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
  month = "feb",
  title = "Standard Libraries for the {Haskell}~98 Programming Language",
  year = "1999",
}


    
      @techreport{Hin99RBT,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "may",
  number = "IAI-TR-99-6",
  title = "Constructing Red-Black Trees",
  year = "1999",
}


    
      @techreport{Hin99Polc,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-99-15",
  title = "Polytypic values possess polykinded types",
  year = "1999",
}


    
      @article{Hin99Polb,
  author = "Hinze, Ralf",
  journal = "Discrete Mathematics and Theoretical Computer Science",
  month = "sep",
  number = "4",
  pages = "193--214",
  title = "Polytypic Functions Over Nested Datatypes",
  volume = "3",
  year = "1999",
}


    
      @inproceedings{Hin99Pol,
  author = "Hinze, Ralf",
  booktitle = "3rd Latin-American Conference on Functional Programming ({CLaPF'99})",
  editor = "Lins, Rafael Dueire",
  month = "mar",
  title = "Polytypic Functions Over Nested Datatypes (Extended Abstract)",
  year = "1999",
}


    
      @techreport{Hin99Per,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "mar",
  number = "IAI-TR-99-4",
  title = "Perfect Trees and Bit-reversal Permutations",
  year = "1999",
}


    
      @article{Hin99PFDS,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming",
  month = "sep",
  number = "5",
  pages = "577--578",
  title = "{Book review:} {``Purely Functional Data Structures''}, by {Chris Okasaki}",
  volume = "9",
  year = "1999",
}


    
      @techreport{Hin99New,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jul",
  number = "IAI-TR-99-9",
  title = "A New Approach to Generic Functional Programming",
  year = "1999",
}


    
      @inproceedings{Hin99Manb,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, {WAAAPL'99}, {Paris}, {France}",
  editor = "Okasaki, Chris",
  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",
  title = "Manufacturing Datatypes",
  year = "1999",
}


    
      @techreport{Hin99Man,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "apr",
  number = "IAI-TR-99-5",
  title = "Manufacturing Datatypes",
  year = "1999",
}


    
      @inproceedings{Hin99Has,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}",
  editor = "Meijer, Erik",
  month = "sep",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28",
  title = "A Generic Programming Extension for {Haskell}",
  year = "1999",
}


    
      @techreport{Hin99Eff,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jun",
  number = "IAI-TR-99-8",
  title = "Efficient Generalized Folds",
  year = "1999",
}


    
      @inproceedings{Hin99Easb,
  author = "Hinze, Ralf",
  booktitle = "4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS'99}), {Tsukuba}, {Japan}",
  editor = "Middeldorp, Aart and Sato, Taisuke",
  month = "nov",
  pages = "21--36",
  publisher = "Springer",
  series = "LNCS",
  title = "Polytypic Programming With Ease (Extended Abstract)",
  volume = "1722",
  year = "1999",
}


    
      @techreport{Hin99Eas,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-99-2",
  title = "Polytypic Programming With Ease",
  year = "1999",
}


    
      @techreport{Hin99Der,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "jan",
  number = "IAI-TR-99-1",
  title = "Deriving monad transformers",
  year = "1999",
}


    
      @inproceedings{Hin99Con,
  author = "Hinze, Ralf",
  booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, {WAAAPL'99}, {Paris}, {France}",
  editor = "Okasaki, Chris",
  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 = "89--99",
  title = "Constructing Red-Black Trees",
  year = "1999",
}


    
      @article{Hin99Bin,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming",
  month = "jan",
  number = "1",
  pages = "93--104",
  title = "{Functional Pearl:} {Explaining} Binomial Heaps",
  volume = "9",
  year = "1999",
}


    
      @inproceedings{GHK99Str,
  author = "Giegerich, Robert and Hinze, Ralf and Kurtz, Stefan",
  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",
  month = "sep",
  note = "The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346",
  pages = "1--5",
  title = "Straight to the Heart of Computer Science via Functional Programming",
  year = "1999",
}


    
      @incollection{Hin98Str,
  address = "Stuttgart",
  author = "Hinze, Ralf",
  booktitle = "Ausgezeichnete Informatikdissertationen 1996",
  pages = "46--61",
  publisher = "B.G.~Teubner",
  title = "Projektionsbasierte {S}triktheitsanalyse",
  year = "1998",
}


    
      @inproceedings{Hin98Pro,
  address = "Singapore, New Jersey, London, Hong Kong",
  author = "Hinze, Ralf",
  booktitle = "Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98), {Kyoto University}, {Japan}",
  editor = "Sato, Masahiko and Toyama, Yoshihito",
  month = "apr",
  pages = "98--122",
  publisher = "World Scientific",
  title = "Prological Features in a Functional Setting --- Axioms and Implementations",
  year = "1998",
}


    
      @techreport{Hin98Pol,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "oct",
  number = "IAI-TR-98-10",
  title = "Polytypic Functions Over Nested Datatypes",
  year = "1998",
}


    
      @techreport{Hin98Num,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-98-12",
  title = "Numerical Representations as Higher-Order Nested Datatypes",
  year = "1998",
}


    
      @techreport{Hin98Gen,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "nov",
  number = "IAI-TR-98-11",
  title = "Generalizing Generalized Tries",
  year = "1998",
}


    
      @techreport{Hin96Eff,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "oct",
  number = "IAI-TR-96-9",
  title = "Efficient Monadic-style Backtracking",
  year = "1996",
}


    
      @phdthesis{Hin95Pro,
  author = "Hinze, Ralf",
  month = "nov",
  school = "Universit\"{a}t Bonn",
  title = "Projection-based Strictness Analysis --- Theoretical and Practical Aspects",
  type = "Inauguraldissertation",
  year = "1995",
}


    
      @book{CGH94Ded,
  address = "Braunschweig/Wiesbaden",
  author = "Cremers, Armin B. and Griefahn, Ulrike and Hinze, Ralf",
  booktitle = "Deduktive Datenbanken --- Eine Einf{\"u}hrung aus der Sicht der logischen Programmierung",
  note = "ISBN 3-528-04700-3",
  publisher = "Vieweg",
  series = "K{\"u}nstliche Intelligenz",
  title = "Deduktive Datenbanken --- Eine Einf{\"u}hrung aus der Sicht der logischen Programmierung",
  year = "1994",
}


    
      @incollection{CEH93Rol,
  author = "Cremers, Armin B. and Eder, Elmar and Hinze, Ralf",
  booktitle = "K{\"u}nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage",
  publisher = "Verein Deutscher Ingenieure",
  title = "Die Rolle der mathematischen Logik in der K{\"u}nstlichen Intelligenz",
  year = "1993",
}


    
      @unpublished{Hin92b,
  author = "Hinze, R.",
  note = "Vorlesungsskript SS 92, Universit{\"a}t Bonn, Institut f{\"u}r Informatik III",
  title = "Einf{\"u}hrung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung",
  year = "1992",
}


    
      @book{Hin92Fun,
  address = "Stuttgart",
  author = "Hinze, Ralf",
  booktitle = "Einf{\"u}hrung in die funktionale Programmierung mit Miranda",
  note = "ISBN 3-519-02287-7",
  publisher = "B.G.~Teubner",
  title = "Einf{\"u}hrung in die funktionale Programmierung mit Miranda",
  year = "1992",
}


    
      @techreport{Hin92Cat,
  author = "Hinze, Ralf",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-92-1",
  title = "The Categorical Abstract Machine: Basics and Enhancments",
  year = "1992",
}


    
      @mastersthesis{Hin89Typ,
  author = "Hinze, Ralf",
  month = "may",
  school = "Universit\"{a}t Dortmund",
  title = "Typsysteme und Typinferenzsysteme",
  type = "Diplomarbeit",
  year = "1989",
}