@STRING( ACM = {ACM} )
@STRING( ACM-Press = {{ACM} Press} )
@STRING( AbtInf = {Department of Computer Science} )
@STRING( AcPress = {Academic Press, Inc.} )
@STRING( Addison-Wesley = {Addison-Wesley Publishing Company} )
@STRING( AnIn = {Angewandte Informatik} )
@STRING( Apr = {April} )
@STRING( Aug = {August} )
@STRING( CSD = {Department of Computer Science} )
@STRING( Cambridge-Press = {Cambridge University Press} )
@STRING( Chapman = {Chapman and Hall Computing} )
@STRING( CompSci = {Computer Science Press} )
@STRING( CompSoc = {Computer Society Press} )
@STRING( Cummings = {The Benjamin/Cummings Publishing Company, Inc.} )
@STRING( Dec = {December} )
@STRING( EAPLS = {EAPLS} )
@STRING( ECRC = {ECRC Report} )
@STRING( EdinRep = {University of Edinburgh, Department of Computer Science, Report} )
@STRING( Edinburgh = {University of Edinburgh} )
@STRING( Edinburgh-Press = {Edinburgh University Press Halsted Press (a division of John Wiley \& Sons)} )
@STRING( Ellis-Horwood = {Ellis Horwood Limited Halsted Press (a division of John Wiley \& Sons)} )
@STRING( Elsevier = {Elsevier Science Publishers B.V. (North Holland)} )
@STRING( FachInf = {Department of Computer Science} )
@STRING( FakInf = {Department of Computer Science} )
@STRING( Feb = {February} )
@STRING( Freeman = {W. H. Freeman and Company, San Francisco} )
@STRING( GMD = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung} )
@STRING( Harper = {Harper \& Row, Publishers, Inc.} )
@STRING( Harvard-Press = {Harvard University Press} )
@STRING( IEEE-Press = {IEEE Computer Society Press} )
@STRING( IJFCS = {International Journal of Foundations of Computer Science} )
@STRING( IPL = {Information Processing Letters} )
@STRING( JFP = {Journal of Functional Programming} )
@STRING( Jan = {January} )
@STRING( Jul = {July} )
@STRING( Jun = {June} )
@STRING( Karlsruhe = {University of Karlsruhe} )
@STRING( LILOG = {IBM Deutschland Gmbh, WT LILOG} )
@STRING( LILOGRep = {LILOG Report} )
@STRING( LNCS = {Lecture Notes in Computer Science} )
@STRING( MIT-Press = {The MIT Press} )
@STRING( Mar = {March} )
@STRING( May = {May} )
@STRING( MelbRep = {University of Melbourne, Department of Computer Science, Report} )
@STRING( Melbourne = {University of Melbourne} )
@STRING( Morgan = {Morgan Kaufmann Publishers, Inc., Los Altos, California} )
@STRING( North-Holland = {North-Holland, Amsterdam New York Oxford} )
@STRING( Nov = {November} )
@STRING( Oct = {October} )
@STRING( Pitman = {Pitman Publishing} )
@STRING( Prentice-Hall = {Prentice Hall International} )
@STRING( SCP = {Science of Computer Programming} )
@STRING( Sep = {September} )
@STRING( Springer = {Springer Berlin / Heidelberg} )
@STRING( Teubner = {Teubner, Stuttgart} )
@STRING( UniBn = {University of Bonn} )
@STRING( UniDo = {University of Dortmund} )
@STRING( UniDoGruen = {Forschungsbericht des Fachbereichs Informatik der Universit{\"a}t Dortmund} )
@STRING( Vieweg = {Vieweg} )
@STRING( Wiley = {John Wiley \& Sons} )
@STRING( acj = {Australian Computer Journal} )
@STRING( acmcs = {{ACM} Computing Surveys} )
@STRING( acta = {Acta Informatica} )
@STRING( ai = {Artificial Intelligence} )
@STRING( apr = {April} )
@STRING( aug = {August} )
@STRING( bit = {{BIT}} )
@STRING( byte = {Byte} )
@STRING( cacm = {Communications of the {ACM}} )
@STRING( cj = {The Computer Journal} )
@STRING( cl = {Computer Languages} )
@STRING( dec = {December} )
@STRING( feb = {February} )
@STRING( ibmjrd = {IBM Journal of Research and Development} )
@STRING( ibmsj = {IBM Systems Journal} )
@STRING( ic = {Information and Computation} )
@STRING( ieee-e = {IEEE expert} )
@STRING( ieee-s = {IEEE software} )
@STRING( ieeepami = {IEEE Transactions on Pattern Analysis and Machine Intelligence} )
@STRING( ieeese = {IEEE Transactions on Software Engineering} )
@STRING( ieeetc = {IEEE Transactions on Computers} )
@STRING( ieeetcad = {IEEE Transactions on Computer-Aided Design of Integrated Circuits} )
@STRING( ipl = {Information Processing Letters} )
@STRING( is = {Informatik-Spektrum} )
@STRING( isci = {Information Sciences} )
@STRING( isys = {Information Systems} )
@STRING( jacm = {Journal of the {ACM}} )
@STRING( jalg = {Journal of Algorithms} )
@STRING( jan = {January} )
@STRING( jar = {Journal of Automated Reasoning} )
@STRING( jcss = {Journal of Computer and System Sciences} )
@STRING( jip = {Journal of information processing} )
@STRING( jlp = {Journal of Logic Programming} )
@STRING( jul = {July} )
@STRING( jun = {June} )
@STRING( loplas = {{ACM} Letters on Programming Languages and Systems} )
@STRING( mar = {March} )
@STRING( may = {May} )
@STRING( mi = {Machine Intelligence} )
@STRING( mst = {Mathematical Systems Theorie} )
@STRING( ngc = {New Generation Computing} )
@STRING( nov = {November} )
@STRING( oct = {October} )
@STRING( scp = {Science of Computer Programming} )
@STRING( sep = {September} )
@STRING( sicomp = {{SIAM} Journal on Computing} )
@STRING( sigart = {{SIGART} Newsletter} )
@STRING( sigmod = {{SIGMOD} record} )
@STRING( sigplan = {{SIGPLAN} Notices} )
@STRING( sigsam = {{SIGSAM} bulletin} )
@STRING( software = {Software - Practice and Experience} )
@STRING( spektrum = {Spektrum der Wissenschaft} )
@STRING( tcs = {Theoretical Computer Science} )
@STRING( tocs = {{ACM} Transactions on Computer Systems} )
@STRING( tods = {{ACM} Transactions on Database Systems} )
@STRING( tog = {{ACM} Transactions on Graphics} )
@STRING( toms = {{ACM} Transactions on Mathematical Software} )
@STRING( toois = {{ACM} Transactions on Office Information Systems} )
@STRING( toplas = {{ACM} Transactions on Programming Languages and Systems} )
@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
}

@proceedings{BGH07DGP,
    date      = {24--27 April 2006},
    doi       = {10.1007/978-3-540-76786-2},
    editor    = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan},
    location  = {Nottingham, UK},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Datatype-Generic Programming},
    booktitle = {Datatype-Generic Programming},
    volume    = 4719,
    year      = 2007
}

@inproceedings{BiH03Tro,
    address   = {New York, NY, USA},
    author    = {Bird, Richard and  Hinze, Ralf},
    booktitle = {Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell '03)},
    date      = {28 August 2003},
    doi       = {10.1145/871895.871896},
    editor    = {Jeuring, Johan},
    isbn      = {1-58113-758-3},
    location  = {Uppsala, Sweden},
    pages     = {1--6},
    publisher = ACM,
    title     = {{Functional Pearl}: {Trouble} shared is trouble halved},
    year      = 2003
}

@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
}

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

@techreport{CHJLW01Gen,
    author    = {Clarke, Dave and Hinze, Ralf and Jeuring, Johan and L\"{o}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
}

@inproceedings{ChH02Lig,
    address   = {New York, NY, USA},
    author    = {Cheney, James and  Hinze, Ralf},
    booktitle = {Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02)},
    date      = {3 October 2002},
    doi       = {10.1145/581690.581698},
    editor    = {Chakravarty, Manuel M.T.},
    isbn      = {1-58113-605-6},
    location  = {Pittsburgh, PA, USA},
    pages     = {90-104},
    publisher = ACM,
    title     = {A lightweight implementation of generics and dynamics},
    year      = 2002
}

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

@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}},
    date      = {29 September 1999},
    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},
    title     = {Straight to the Heart of Computer Science via Functional Programming},
    year      = 1999
}

@inproceedings{GiH11Doi,
    address   = {New York, NY, USA},
    author    = {Gibbons, Jeremy and Hinze, Ralf},
    booktitle = {Proceeding of the 16th ACM SIGPLAN international conference on Functional programming},
    doi       = {10.1145/2034773.2034777},
    isbn      = {978-1-4503-0865-6},
    location  = {Tokyo, Japan},
    pages     = {2--14},
    publisher = {ACM},
    series    = {ICFP '11},
    title     = {Just do it: simple monadic equational reasoning},
    url       = {http://doi.acm.org/10.1145/2034773.2034777},
    year      = 2011
}

@inproceedings{HJH10The,
    affiliation = {Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD England},
    author    = {Hinze, Ralf and James, Daniel W.H. and Harper, Tom},
    booktitle = {Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)},
    date      = {1--3 September 2010},
    doi       = {10.1007/978-3-642-24276-2_2},
    editor    = {Hage, Jurriaan and Morazán, Marco},
    location  = {Alphen aan den Rijn, The Netherlands},
    month     = sep,
    pages     = {19--37},
    publisher = Springer,
    series    = LNCS,
    title     = {Theory and Practice of Fusion},
    volume    = 6647,
    year      = 2011
}

@inproceedings{HJL02Typ,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres},
    booktitle = {Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)},
    date      = {8--10 July 2002},
    doi       = {10.1007/3-540-45442-X\_10},
    editor    = {Boiten, Eerke A. and Möller, Bernhard},
    location  = {Dagstuhl, Germany},
    pages     = {148--174},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Type-indexed Data Types},
    volume    = 2386,
    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
}

@article{HJL03Typ,
    author    = {Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres},
    doi       = {10.1016/j.scico.2003.07.001},
    journal   = SCP,
    month     = may,
    number    = {1-2},
    pages     = {117-151},
    title     = {Type-indexed data types},
    volume    = 51,
    year      = 2004
}

@inproceedings{HJL06Con,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    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)},
    date      = {24--26 April 2006},
    doi       = {10.1007/11737414\_15},
    editor    = {Hagiya, Masami and Wadler, Philip},
    location  = {Fuji Susono, Japan},
    pages     = {208-225},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Typed Contracts for Functional Programming},
    volume    = 3945,
    year      = 2006
}

@incollection{HJL07Com,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany},
    author    = {Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres},
    booktitle = {Datatype-Generic Programming},
    date      = {24--27 April 2006},
    doi       = {10.1007/978-3-540-76786-2\_2},
    editor    = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan},
    location  = {Nottingham, UK},
    pages     = {72-149},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Comparing Approaches to Generic Programming in {Haskell}},
    volume    = 4719,
    year      = 2007
}

@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 (TFP '06)},
    date      = {19--21 April 2006},
    editor    = {Nilsson, Henrik},
    isbn      = {ISBN 9781841501888},
    location  = {Nottingham, UK},
    publisher = {Intellect},
    title     = {Generics as a Library},
    url       = {http://www.intellectbooks.co.uk/books/view-Book,id=4576/},
    year      = 2006
}

@inproceedings{HLO06SYB,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    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)},
    date      = {24--26 April 2006},
    doi       = {10.1007/11737414\_3},
    editor    = {Hagiya, Masami and Wadler, Philip},
    location  = {Fuji Susono, Japan},
    pages     = {13-29},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {``{Scrap Your Boilerplate}'' Reloaded},
    volume    = 3945,
    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{HLo06Rev,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf and L\"{o}h, Andres},
    booktitle = {8th International Conference on Mathematics of Program Construction (MPC '06)},
    date      = {3--5 July 2006},
    doi       = {10.1007/11783596\_13},
    editor    = {Uustalu, Tarmo},
    location  = {Kuressaare, Estonia},
    month     = jul,
    pages     = {180-208},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {``{Scrap Your Boilerplate}'' Revolutions},
    volume    = 4014,
    year      = 2006
}

@inproceedings{HPJ00Pol,
    author    = {Hinze, Ralf and  {Peyton Jones}, Simon},
    booktitle = {Proceedings of the 2000 ACM SIGPLAN Haskell Workshop},
    date      = {17th September 2000},
    doi       = {10.1016/S1571-0661(05)80542-0},
    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},
    title     = {Derivable Type Classes},
    volume    = {41(1) of Electronic Notes in Theoretical Computer Science},
    year      = 2001
}

@article{HiJ01Wea,
    author    = {Hinze, Ralf and Jeuring, Johan},
    doi       = {10.1017/S0956796801004129},
    journal   = JFP,
    number    = 6,
    pages     = {681-689},
    title     = {{Functional Pearl:} {W}eaving a web},
    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
}

@incollection{HiJ03GHA,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany},
    author    = {Hinze, Ralf and Jeuring, Johan},
    booktitle = {Generic Programming: {Advanced} Lectures},
    date      = {26--30 August 2002},
    doi       = {10.1007/978-3-540-45191-4\_2},
    editor    = {Backhouse, Roland and Gibbons, Jeremy},
    location  = {Oxford, UK},
    pages     = {57-96},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Generic {Haskell}: {Applications}},
    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{HiJ03GHP,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany},
    author    = {Hinze, Ralf and Jeuring, Johan},
    booktitle = {Generic Programming: {Advanced} Lectures},
    date      = {26--30 August 2002},
    doi       = {10.1007/978-3-540-45191-4\_1},
    editor    = {Backhouse, Roland and Gibbons, Jeremy},
    location  = {Oxford, UK},
    pages     = {1-56},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Generic {Haskell}: {Practice} and Theory},
    volume    = 2793,
    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
}

@inproceedings{HiJ10Rea,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf and James, Daniel W. H.},
    booktitle = {Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)},
    date      = {26th September 2010},
    doi       = {10.1145/1863495.1863507},
    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,
    title     = {Reason isomorphically!},
    year      = 2010
}

@inproceedings{HiJ11UFP,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf and James, Daniel W.H.},
    booktitle = {Proceeding of the 16th ACM SIGPLAN international conference on Functional programming},
    doi       = {10.1145/2034773.2034821},
    isbn      = {978-1-4503-0865-6},
    location  = {Tokyo, Japan},
    pages     = {359--371},
    publisher = ACM,
    series    = {ICFP '11},
    title     = {Proving the unique fixed-point principle correct: an adventure with category theory},
    url       = {http://www.comlab.ox.ac.uk/people/daniel.james/unique.html},
    year      = 2011
}

@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
}

@incollection{HiL07Now,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany},
    author    = {Hinze, Ralf and L\"{o}h, Andres},
    booktitle = {Datatype-Generic Programming},
    date      = {24--27 April 2006},
    doi       = {10.1007/978-3-540-76786-2\_3},
    editor    = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan},
    location  = {Nottingham, UK},
    pages     = {150-208},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Generic Programming, Now!},
    volume    = 4719,
    year      = 2007
}

@article{HiL09Gen,
    author    = {Hinze, Ralf and L{\"o}h, Andres},
    doi       = {10.1016/j.scico.2007.10.006},
    journal   = SCP,
    month     = jun,
    number    = 8,
    pages     = {590-628},
    title     = {Generic Programming in {3D}},
    volume    = 74,
    year      = 2009
}

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

@article{HiP06Fin,
    author    = {Hinze, Ralf and Paterson, Ross},
    doi       = {10.1017/S0956796805005769},
    journal   = JFP,
    number    = 2,
    pages     = {197-217},
    title     = {Finger trees: a simple general-purpose data structure},
    volume    = 16,
    year      = 2006
}

@proceedings{HiS08WGP,
    address   = {New York, NY, USA},
    date      = {20 September 2008},
    editor    = {Hinze, Ralf and Syme, Don},
    isbn      = {978-1-60558-060-9},
    location  = {Victoria, BC, Canada},
    month     = sep,
    publisher = ACM,
    title     = {Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)},
    booktitle = {Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)},
    year      = 2008
}

@inproceedings{HiW11Cat,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf and  Wu, Nicolas},
    booktitle = {Proceedings of the seventh ACM SIGPLAN workshop on Generic programming},
    date      = {18 September 2011},
    doi       = {10.1145/2036918.2036926},
    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},
    title     = {Towards a categorical foundation for generic programming},
    url       = {http://doi.acm.org/10.1145/2036918.2036926},
    year      = 2011
}

@inproceedings{Hin00Der,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00)},
    date      = {18--20 September 2000},
    doi       = {10.1145/351240.351258},
    editor    = {Wadler, Phil},
    isbn      = {1-58113-202-6},
    location  = {Montreal, Canada},
    pages     = {186--197},
    publisher = ACM,
    title     = {Deriving backtracking monad transformers},
    year      = 2000
}

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

@article{Hin00Gen,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796800003713},
    journal   = JFP,
    number    = 4,
    pages     = {327-351},
    title     = {Generalizing generalized tries},
    volume    = 10,
    year      = 2000
}

@phdthesis{Hin00Hab,
    author    = {Hinze, Ralf},
    school    = {Universit\"{a}t Bonn},
    title     = {Generic Programs and Proofs},
    type      = {{Habilitationsschrift}},
    year      = 2000
}

@inproceedings{Hin00MPC,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)},
    date      = {3--5 July 2000},
    doi       = {10.1007/10722010\_2},
    editor    = {Backhouse, Roland and Oliveira, José},
    location  = {Ponte de Lima, Portugal},
    pages     = {2-27},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Polytypic Values Possess Polykinded Types},
    volume    = 1837,
    year      = 2000
}

@article{Hin00Man,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S095679680100404X},
    journal   = JFP,
    number    = 5,
    pages     = {493-524},
    title     = {Manufacturing datatypes},
    volume    = 11,
    year      = 2001
}

@inproceedings{Hin00Mem,
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the second Workshop on Generic Programming},
    date      = {6 July 2000},
    editor    = {Jeuring, Johan},
    location  = {Ponte de Lima, Portugal},
    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{Hin00New,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} symposium on Principles of programming languages (POPL '00)},
    date      = {19--21 January 2000},
    doi       = {10.1145/325694.325709},
    editor    = {Reps, Thomas W.},
    isbn      = {1-58113-125-9},
    location  = {Boston, MA, USA},
    pages     = {119--132},
    publisher = ACM,
    title     = {A new approach to generic functional programming},
    year      = 2000
}

@article{Hin00Per,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796800003701},
    journal   = JFP,
    number    = 3,
    pages     = {305-317},
    title     = {{Functional Pearl:} {Perfect} trees and bit-reversal permutations},
    volume    = 10,
    year      = 2000
}

@article{Hin00Pol,
    author    = {Hinze, Ralf},
    journal   = {Journal of Functional and Logic Programming},
    month     = jul,
    number    = 3,
    publisher = EAPLS,
    title     = {Polytypic Programming With Ease},
    url       = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html},
    volume    = 2001,
    year      = 2001
}

@proceedings{Hin01HW,
    date      = {2 September 2001},
    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},
    title     = {Proceedings of the 2001 ACM SIGPLAN Haskell Workshop},
    booktitle = {Proceedings of the 2001 ACM SIGPLAN Haskell Workshop},
    volume    = 59,
    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
}

@inproceedings{Hin01PSQb,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (ICFP '01)},
    date      = {3--5 September 2001},
    doi       = {10.1145/507635.507650},
    editor    = {Leroy, Xavier},
    isbn      = {1-58113-415-0},
    location  = {Florence, Italy},
    pages     = {110--121},
    publisher = ACM,
    title     = {A simple implementation technique for priority search queues},
    year      = 2001
}

@article{Hin01Pro,
    author    = {Hinze, Ralf},
    doi       = {10.1142/S0129054101000436},
    journal   = IJFCS,
    number    = 2,
    pages     = {125-170},
    title     = {{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation},
    volume    = 12,
    year      = 2001
}

@inproceedings{Hin02Boo,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02)},
    date      = {4--6 October 2002},
    doi       = {10.1145/581478.581480},
    editor    = {{Peyton Jones}, Simon},
    isbn      = {1-58113-487-8},
    location  = {Pittsburgh, PA, USA},
    month     = oct,
    pages     = {2-13},
    publisher = ACM,
    title     = {Bootstrapping one-sided flexible arrays},
    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{Hin02Con,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)},
    date      = {8--10 July 2002},
    doi       = {10.1007/3-540-45442-X\_9},
    editor    = {Boiten, Eerke A. and Möller, Bernhard},
    location  = {Dagstuhl, Germany},
    pages     = {131--147},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Constructing Tournament Representations: {An} Exercise in Pointwise Relational Programming},
    volume    = 2386,
    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
}

@article{Hin02Fre,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796801004269},
    journal   = JFP,
    number    = 6,
    pages     = {601-607},
    title     = {{Functional Pearl:} {A} fresh look at binary search trees},
    volume    = 12,
    year      = 2002
}

@article{Hin02Pol,
    author    = {Hinze, Ralf},
    doi       = {10.1016/S0167-6423(02)00025-4},
    journal   = SCP,
    month     = {May-June},
    number    = {2-3},
    pages     = {129-159},
    title     = {Polytypic values possess polykinded types},
    volume    = 43,
    year      = 2002
}

@article{Hin03For,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796802004367},
    journal   = JFP,
    number    = 5,
    pages     = {935-944},
    title     = {{Functional Pearl:} {F}ormatting: a class act},
    volume    = 13,
    year      = 2003
}

@incollection{Hin03Fun,
    author    = {Hinze, Ralf},
    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},
    title     = {Fun with phantom types},
    year      = 2003
}

@article{Hin04Edi,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796804005271},
    journal   = JFP,
    number    = 6,
    pages     = {601},
    title     = {Special issue on functional pearls (Editorial)},
    volume    = 14,
    year      = 2004
}

@inproceedings{Hin04Gen,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the ninth ACM SIGPLAN international conference on Functional Programming (ICFP '04)},
    date      = {19--22 September 2004},
    doi       = {10.1145/1016850.1016882},
    editor    = {Fisher, Kathleen},
    isbn      = {1-58113-905-5},
    location  = {Snow Bird, UT, USA},
    month     = sep,
    pages     = {236-243},
    publisher = ACM,
    title     = {Generics for the masses},
    year      = 2004
}

@inproceedings{Hin04Sca,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04)},
    date      = {12--14 July 2004},
    doi       = {10.1007/978-3-540-27764-4\_11},
    editor    = {Kozen, Dexter},
    location  = {Stirling, Scotland, UK},
    pages     = {186-210},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {An Algebra of Scans},
    volume    = 3125,
    year      = 2004
}

@article{Hin05Chu,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796804005313},
    journal   = JFP,
    number    = 1,
    pages     = {1-13},
    title     = {{Theoretical Pearl:} {C}hurch numerals, twice!},
    volume    = 15,
    year      = 2005
}

@article{Hin06Gen,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796806006022},
    journal   = JFP,
    number    = {4-5},
    pages     = {451-483},
    title     = {Generics for the masses},
    volume    = 16,
    year      = 2006
}

@proceedings{Hin06WGP,
    address   = {New York, NY, USA},
    date      = {16 September 2006},
    editor    = {Hinze, Ralf},
    isbn      = {1-59593-492-6},
    location  = {Portland, Oregon, USA},
    month     = sep,
    publisher = ACM,
    title     = {Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)},
    booktitle = {Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)},
    year      = 2006
}

@inproceedings{Hin08Exp,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {9th International Conference on Mathematics of Program Construction (MPC '08)},
    date      = {15--18 July 2008},
    doi       = {10.1007/978-3-540-70594-9\_1},
    editor    = {Audebaud, Philippe and Paulin-Mohring, Christine},
    location  = {Marseille (Luminy), France},
    month     = jul,
    pages     = {1},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Exploiting Unique Fixed Points (Invited Lecture)},
    volume    = 5133,
    year      = 2008
}

@inproceedings{Hin08Stre,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 13th {ACM SIGPLAN} international conference on Functional Programming (ICFP '08)},
    date      = {22-24 September 2008},
    doi       = {10.1145/1411204.1411232},
    editor    = {Thiemann, Peter},
    isbn      = {978-1-59593-919-7},
    location  = {Victoria, BC, Canada},
    month     = sep,
    pages     = {189-200},
    publisher = ACM,
    title     = {Functional pearl: streams and unique fixed points},
    year      = 2008
}

@article{Hin09Bir,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796809990116},
    journal   = JFP,
    number    = 5,
    pages     = {491–508},
    title     = {{Functional Pearl:} {The} {Bird} Tree},
    volume    = 19,
    year      = 2009
}

@inproceedings{Hin09Han,
    address   = {New York, NY, USA},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 14th {ACM SIGPLAN} international conference on Functional Programming (ICFP '09)},
    date      = {31 August -- 2 September 2009},
    doi       = {10.1145/1596550.1596555},
    editor    = {Tolmach, Andrew},
    isbn      = {978-1-60558-332-7},
    location  = {Edinburgh, Scotland},
    pages     = {3-10},
    publisher = ACM,
    title     = {Functional pearl: la tour d'{H}ano\"{\i}},
    year      = 2009
}

@article{Hin09Pur,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796809007333},
    journal   = JFP,
    number    = 6,
    pages     = {633-644},
    title     = {{Functional Pearl:} {Purely} Functional 1-2 Brother Trees},
    volume    = 19,
    year      = 2009
}

@inproceedings{Hin09Sca,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)},
    date      = {10--12 September 2008},
    doi       = {10.1007/978-3-642-24452-0_1},
    editor    = {Scholz, Sven-Bodo and Chitil, Olaf},
    location  = {University of Hertfordshire, UK},
    pages     = {1--24},
    publisher = Springer,
    series    = LNCS,
    title     = {Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem},
    volume    = 5836,
    year      = 2011
}

@inproceedings{Hin10Adj,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {10th International Conference on Mathematics of Program Construction (MPC '10)},
    date      = {21--23 June 2010},
    doi       = {10.1007/978-3-642-13321-3\_13},
    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    = LNCS,
    title     = {Adjoint Folds and Unfolds, Or: Scything through the Thicket of Morphisms},
    volume    = 6120,
    year      = 2010
}

@article{Hin10Edi,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796810000286},
    journal   = JFP,
    number    = {Special Issue 3--4},
    pages     = {211-212},
    title     = {Special Issue on Generic Programming Editorial},
    volume    = 20,
    year      = 2010
}

@incollection{Hin10Rea,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {Third Central European Functional Programming School (CEFP 2009)},
    date      = {2--4 June 2009},
    doi       = {10.1007/978-3-642-17685-2\_3},
    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    = LNCS,
    title     = {Reasoning about Codata},
    volume    = 6299,
    year      = 2010
}

@inproceedings{Hin10Typ,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)},
    date      = {23--25 June 2010},
    doi       = {10.1007/978-3-642-17796-5\_6},
    editor    = {Pavlovic, Dusko and Johnson, Michael},
    location  = {Manoir St-Castin, Qu\'{e}bec, Canada},
    pages     = {92-110},
    publisher = Springer,
    series    = LNCS,
    title     = {Type Fusion},
    volume    = 6486,
    year      = 2011
}

@article{Hin11Adj,
    author    = {Hinze, Ralf},
    journal   = SCP,
    note      = {to appear},
    title     = {Adjoint Folds and Unfolds---An Extended Study},
    year      = 2011
}

@article{Hin11Con,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796810000213},
    journal   = JFP,
    number    = {5-6},
    pages     = {463–535},
    title     = {Concrete Stream Calculus---An extended study},
    volume    = 20,
    year      = 2011
}

@incollection{Hin11Gen,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {Spring School on Generic and Indexed Programming},
    date      = {22--26 March 2010},
    editor    = {Gibbons, Jeremy},
    location  = {Oxford, UK},
    note      = {to appear},
    pages     = {--},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Generic Programming with Adjunctions},
    year      = 2011
}

@article{Hin11Typ,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796811000050},
    journal   = JFP,
    number    = 3,
    pages     = {219–234},
    title     = {Typed Quote/Antiquote---Or: Compile-time Parsing},
    volume    = 21,
    year      = 2011
}

@inproceedings{Hin12Kan,
    affiliation = {University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England},
    author    = {Hinze, Ralf},
    booktitle = {11th International Conference on Mathematics of Program Construction (MPC '12)},
    date      = {25--27 June 2012},
    editor    = {Gibbons, Jeremy and Nogueira, Pablo},
    location  = {Madrid, Spain},
    pages     = {324–362},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Kan Extensions for Program Optimisation---\emph{Or:} Art and Dan Explain an Old Trick},
    volume    = 7342,
    year      = 2012
}

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

@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
}

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

@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
}

@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
}

@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
}

@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{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{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
}

@inproceedings{Hin98Pro,
    address   = {Singapore, New Jersey, London, Hong Kong},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)},
    date      = {2--4 April 1998},
    editor    = {Sato, Masahiko and Toyama, Yoshihito},
    isbn      = {ISBN 981-02-3384-1},
    location  = {Kyoto, Japan},
    month     = apr,
    pages     = {98--122},
    publisher = {World Scientific},
    title     = {Prological Features in a Functional Setting --- Axioms and Implementations},
    year      = 1998
}

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

@article{Hin99Bin,
    author    = {Hinze, Ralf},
    doi       = {10.1017/S0956796899003317},
    journal   = JFP,
    number    = 1,
    pages     = {93-104},
    title     = {{Functional Pearl:} {Explaining} binomial heaps},
    volume    = 9,
    year      = 1999
}

@inproceedings{Hin99Con,
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99)},
    date      = {30 September 1999},
    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},
    title     = {Constructing Red-Black Trees},
    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
}

@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
}

@inproceedings{Hin99Easb,
    affiliation = {Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany},
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS '99})},
    date      = {11--13 November 1999},
    doi       = {10.1007/10705424\_2},
    editor    = {Middeldorp, Aart and Sato, Taisuke},
    location  = {Tsukuba, Japan},
    pages     = {21-36},
    publisher = {Springer Berlin / Heidelberg},
    series    = LNCS,
    title     = {Polytypic Programming With Ease (Extended Abstract)},
    volume    = 1722,
    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{Hin99Has,
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}},
    date      = {1 October 1999},
    editor    = {Meijer, Erik},
    location  = {Paris, France},
    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{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{Hin99Manb,
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)},
    date      = {30 September 1999},
    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},
    title     = {Manufacturing Datatypes},
    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
}

@article{Hin99PFDS,
    author    = {Hinze, Ralf},
    doi       = {doi: 10.1017/S0956796899009995},
    journal   = JFP,
    number    = 5,
    pages     = {577--578},
    title     = {{Book review:} {``Purely Functional Data Structures''}, by {Chris Okasaki}},
    volume    = 9,
    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
}

@inproceedings{Hin99Pol,
    author    = {Hinze, Ralf},
    booktitle = {Proceedings of the 3rd Latin-American Conference on Functional Programming ({CLaPF '99})},
    date      = {8 March 1999},
    editor    = {Lins, Rafael Dueire},
    location  = {Recife, Brazil},
    month     = mar,
    title     = {Polytypic Functions Over Nested Datatypes (Extended Abstract)},
    url       = {http://www.di.ufpe.br/~clapf99/},
    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},
    url       = {http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/109},
    volume    = 3,
    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
}

@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
}

@inproceedings{JaH09Ref,
    author    = {James, Daniel W.H. and Hinze, Ralf},
    booktitle = {Post-conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)},
    date      = {25--30 May 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},
    title     = {A reflection-based proof tactic for lattices in {Coq}},
    url       = {http://www.intellectbooks.co.uk/books/view-Book,id=4740/},
    year      = 2010
}

@inproceedings{LoH06Ope,
    address   = {New York, NY, USA},
    author    = {L{\"o}h, Andres and Hinze, Ralf},
    booktitle = {Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06)},
    date      = {10--12 July 2006},
    doi       = {10.1145/1140335.1140352},
    editor    = {Maher, Michael},
    isbn      = {1-59593-388-3},
    location  = {Venice, Italy},
    month     = jul,
    pages     = {133-144},
    publisher = ACM,
    title     = {Open data types and open functions},
    year      = 2006
}

@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
}

@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
}