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

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

@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},
    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},
    booktitle = {Deduktive Datenbanken --- Eine Einf{\"u}hrung aus der Sicht der logischen Programmierung},
    year      = 1994
}

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

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

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

@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},
    journal   = {Science of Computer Programmming},
    pages     = {117-151},
    title     = {Type-indexed data types},
    volume    = 51,
    year      = 2004
}

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

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

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

@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{HiJ03GHAa,
    author    = {Hinze, Ralf and Jeuring, Johan},
    institution = {Universiteit Utrecht},
    number    = {UU-CS-2003-16},
    title     = {Generic Haskell: Applications},
    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{HiJ03GHPa,
    author    = {Hinze, Ralf and Jeuring, Johan},
    institution = {Universiteit Utrecht},
    number    = {UU-CS-2003-15},
    title     = {Generic Haskell: Practice and Theory},
    year      = 2003
}

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

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

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

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

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

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

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

@proceedings{Hin01HW,
    booktitle = {Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001), Firenze, Italy},
    editor    = {Hinze, Ralf},
    month     = sep,
    publisher = {Electronic Notes in Theoretical Computer Science},
    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,
    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
}

@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{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     = {2-13},
    publisher = ACM-Press,
    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,
    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{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},
    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
}

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

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

@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{Hin04Chu,
    author    = {Hinze, Ralf},
    journal   = {J.~Functional Programming},
    note      = {to appear},
    title     = {{Theoretical Pearl:} {C}hurch numerals, twice!},
    year      = 2004
}

@proceedings{Hin04Nec,
    booktitle = {Special Issue on Functional Pearls},
    editor    = {Hinze, Ralf},
    publisher = {Journal of Functional Programming},
    year      = 2004
}

@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},
    year      = 2004
}

@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},
    note      = {ISBN 3-519-02287-7},
    publisher = {B.G.~Teubner},
    title     = {Einf{\"u}hrung in die funktionale Programmierung mit Miranda},
    booktitle = {Einf{\"u}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 = {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
}

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

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

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

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

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

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