Ralf Hinze : Publications
Click here to download all publications in a single bibtex file
@unpublished{HiHaJa12,
title = "Functional Pearl: F for Functor",
author = "Hinze, Ralf and Hackett, Jennifer and James, Daniel W. H.",
year = "2012",
month = "March",
note = "Submitted to ICFP '12",
url = "http://www.cs.ox.ac.uk/people/daniel.james/functor.html",
}
@inproceedings{HJ11UFP,
title = "Proving The Unique Fixed-Point Principle Correct",
author = "Hinze, Ralf and James, Daniel W. H.",
year = "2011",
address = "New York, NY, USA",
booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
isbn = "978-1-4503-0865-6",
location = "Tokyo, Japan",
month = "September",
pages = "359--371",
publisher = "ACM",
series = "ICFP '11",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
doi = "10.1145/2034773.2034821",
}
@inproceedings{mr,
title = "Just do it: Simple monadic equational reasoning",
author = "Jeremy Gibbons and Ralf Hinze",
year = "2011",
booktitle = "ICFP",
month = "September",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
}
@incollection{HHJ11Fusion,
title = "Theory and Practice of Fusion",
author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
year = "2011",
affiliation = "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD England",
booktitle = "Implementation and Application of Functional Languages",
editor = "Hage, Jurriaan and Morazán, Marco",
isbn = "978-3-642-24275-5",
month = "January",
pages = "19--37",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
volume = "6647",
doi = "10.1007/978-3-642-24276-2_2",
}
@article{Hin10Con,
title = "Typed Quote/Antiquote---Or: Compile-time Parsing",
author = "Hinze, Ralf",
year = "2011",
journal = "JFP",
note = "to appear",
}
@article{Hin10Con,
title = "Concrete Stream Calculus---An extended study",
author = "Hinze, Ralf",
year = "2011",
journal = "JFP",
number = "5-6",
pages = "463–535",
volume = "20",
doi = "10.1017/S0956796810000213",
}
@inproceedings{HiW11Cat,
title = "Towards a Categorical Foundation for Generic Programming",
author = "Hinze, Ralf and Wu, Nicolas",
year = "2011",
booktitle = "ACM SIGPLAN 7th Workshop on Generic Programming",
editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
location = "Tokyo, Japan",
url = "http://www.cs.ox.ac.uk/ralf.hinze/WGP11.html",
}
@techreport{HJ11UFPTech,
title = "Proving The Unique Fixed-Point Principle Correct",
author = "Hinze, Ralf and James, Daniel W. H.",
year = "2011",
institution = "Department of Computer Science, University of Oxford",
number = "CS-RR-2011-03",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
}
@techreport{HHJ2011FusionTech,
title = "Theory and Practice of Fusion",
author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
year = "2011",
institution = "Department of Computer Science, University of Oxford",
number = "CS-RR-2011-01",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
}
@inproceedings{HiJ10Rea,
title = "Reason isomorphically!",
author = "Hinze, Ralf and James, Daniel W.H.",
year = "2010",
address = "New York, NY, USA",
booktitle = "Proceedings of the 6th ACM SIGPLAN workshop on Generic programming",
editor = "Oliveira, Bruno C.d.S. and Zalewski, Marcin",
isbn = "978-1-4503-0251-7",
location = "Baltimore, Maryland, USA",
month = "September",
pages = "85--96",
publisher = "ACM",
series = "WGP '10",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/iso.html",
doi = "10.1145/1863495.1863507",
}
@inproceedings{HHJ10Fusion,
title = "Theory and Practice of Fusion",
author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
year = "2010",
booktitle = "Pre-proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages",
editor = "Hage, Jurriaan",
location = "Alphen aan den Rijn, The Netherlands",
month = "August",
note = "The pre-proceedings appeared as Utrecht University Technical Report UU-CS-2010-020: \url{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf}",
pages = "402--421",
series = "IFL '10",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
}
@article{Hin10Edi,
title = "Special Issue on Generic Programming Editorial",
author = "Hinze, Ralf",
year = "2010",
journal = "JFP",
number = "Special Issue 3--4",
pages = "211-212",
volume = "20",
doi = "10.1017/S0956796810000286",
}
@inproceedings{JaH09Ref,
title = "A reflection-based proof tactic for lattices in {Coq}",
author = "James, Daniel W.H. and Hinze, Ralf",
year = "2010",
booktitle = "Post-conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)",
editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria and Achten, Peter and Koopman, Pieter",
isbn = "ISBN 978-1-84150-158-1",
location = "Komarno, Slovakia",
pages = "97-112",
publisher = "Intellect",
url = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/",
}
@inproceedings{Hin10Adj,
title = "Adjoint Folds and Unfolds, Or: Scything through the Thicket of Morphisms",
author = "Hinze, Ralf",
year = "2010",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "10th International Conference on Mathematics of Program Construction (MPC '10)",
editor = "Bolduc, Claude and Desharnais, Jules and Ktari, Béchir",
location = "Manoir St-Castin, Québec, Canada",
pages = "195-228",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "6120",
doi = "10.1007/978-3-642-13321-3_13",
}
@inproceedings{Hin10Typ,
title = "Type Fusion",
author = "Hinze, Ralf",
year = "2010",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)",
editor = "Pavlovic, Dusko and Johnson, Michael",
location = "Manoir St-Castin, Québec, Canada",
note = "to appear",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "6486",
}
@incollection{Hin10Rea,
title = "Reasoning about Codata",
author = "Hinze, Ralf",
year = "2010",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Third Central European Functional Programming School (CEFP 2009)",
editor = "Horv\'{a}th, Zolt\'{a}n and Plasmeijer, Rinus and Zs\'{o}k, Vikt\'{o}ria",
location = "Komarno, Slovakia",
pages = "42--93",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "6299",
doi = "10.1007/978-3-642-17685-2_3",
}
@article{HiL09Gen,
title = "Generic Programming in {3D}",
author = "Hinze, Ralf and L{\"o}h, Andres",
year = "2009",
journal = "Science of Computer Programming",
month = "jun",
number = "8",
pages = "590-628",
volume = "74",
doi = "10.1016/j.scico.2007.10.006",
}
@inproceedings{JaH09Ref,
title = "A Reflection-based Proof Tactic for Lattices in {Coq}",
author = "James, Daniel W.H. and Hinze, Ralf",
year = "2009",
booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
isbn = "9781841504056",
location = "Komarno, Slovakia",
month = "June",
note = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/",
publisher = "Intellect",
series = "TFP '09",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}
@incollection{JaH09Ref,
title = "A reflection-based proof tactic for lattices in {Coq}",
author = "James, Daniel W.H. and Hinze, Ralf",
year = "2009",
booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
chapter = "7",
editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
isbn = "9781841504056",
location = "Kom\'{a}rno, Slovakia",
month = "June",
note = "\url{http://www.intellectbooks.co.uk/books/view-Book,id=4740/}",
pages = "97--112",
publisher = "Intellect",
series = "TFP'09",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}
@article{Hin09Pur,
title = "{Functional Pearl:} {Purely} Functional 1-2 Brother Trees",
author = "Hinze, Ralf",
year = "2009",
journal = "JFP",
number = "6",
pages = "633-644",
volume = "19",
doi = "10.1017/S0956796809007333",
}
@article{Hin09Bir,
title = "{Functional Pearl:} {The} {Bird} Tree",
author = "Hinze, Ralf",
year = "2009",
journal = "JFP",
number = "5",
pages = "491–508",
volume = "19",
doi = "10.1017/S0956796809990116",
}
@inproceedings{Hin09Han,
title = "Functional pearl: la tour d'{H}ano\"{\i}",
author = "Hinze, Ralf",
year = "2009",
address = "New York, NY, USA",
booktitle = "Proceedings of the 14th {ACM SIGPLAN} international conference on Functional Programming (ICFP '09)",
editor = "Tolmach, Andrew",
isbn = "978-1-60558-332-7",
location = "Edinburgh, Scotland",
pages = "3-10",
publisher = "ACM",
doi = "10.1145/1596550.1596555",
}
@inproceedings{Hin09Sca,
title = "Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem",
author = "Hinze, Ralf",
year = "2009",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)",
editor = "Scholz, Sven-Bodo",
location = "University of Hertfordshire, UK",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5836",
}
@inproceedings{Hin08Stre,
title = "Functional pearl: streams and unique fixed points",
author = "Hinze, Ralf",
year = "2008",
address = "New York, NY, USA",
booktitle = "Proceedings of the 13th {ACM SIGPLAN} international conference on Functional Programming (ICFP '08)",
editor = "Thiemann, Peter",
isbn = "978-1-59593-919-7",
location = "Victoria, BC, Canada",
month = "sep",
pages = "189-200",
publisher = "ACM",
doi = "10.1145/1411204.1411232",
}
@proceedings{HiS08WGP,
title = "Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)",
year = "2008",
address = "New York, NY, USA",
booktitle = "Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)",
editor = "Hinze, Ralf and Syme, Don",
isbn = "978-1-60558-060-9",
location = "Victoria, BC, Canada",
month = "sep",
publisher = "ACM",
}
@inproceedings{Hin08Exp,
title = "Exploiting Unique Fixed Points (Invited Lecture)",
author = "Hinze, Ralf",
year = "2008",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "9th International Conference on Mathematics of Program Construction (MPC '08)",
editor = "Audebaud, Philippe and Paulin-Mohring, Christine",
location = "Marseille (Luminy), France",
month = "jul",
pages = "1",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "5133",
doi = "10.1007/978-3-540-70594-9_1",
}
@article{HiL07Gen,
title = "Generic Programming in 3D",
author = "Hinze, Ralf and L{\"o}h, Andres",
year = "2007",
journal = "Science of Computer Programming",
note = "to appear",
}
@proceedings{BGH07DGP,
title = "Datatype-Generic Programming",
year = "2007",
booktitle = "Datatype-Generic Programming",
editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
location = "Nottingham, UK",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4719",
doi = "10.1007/978-3-540-76786-2",
}
@incollection{HiL07Now,
title = "Generic Programming, Now!",
author = "Hinze, Ralf and Löh, Andres",
year = "2007",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Datatype-Generic Programming",
editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
location = "Nottingham, UK",
pages = "150-208",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4719",
doi = "10.1007/978-3-540-76786-2_3",
}
@incollection{HJL07Com,
title = "Comparing Approaches to Generic Programming in {Haskell}",
author = "Hinze, Ralf and Jeuring, Johan and Löh, Andres",
year = "2007",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Datatype-Generic Programming",
editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
location = "Nottingham, UK",
note = "To appear",
pages = "72-149",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4719",
doi = "10.1007/978-3-540-76786-2_2",
}
@proceedings{Hin06WGP,
title = "Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)",
year = "2006",
address = "New York, NY, USA",
booktitle = "Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)",
editor = "Hinze, Ralf",
isbn = "1-59593-492-6",
location = "Portland, Oregon, USA",
month = "sep",
publisher = "ACM",
}
@inproceedings{LoH06Ope,
title = "Open data types and open functions",
author = "L{\"o}h, Andres and Hinze, Ralf",
year = "2006",
address = "New York, NY, USA",
booktitle = "Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06)",
editor = "Maher, Michael",
isbn = "1-59593-388-3",
location = "Venice, Italy",
month = "jul",
pages = "133-144",
publisher = "ACM",
doi = "10.1145/1140335.1140352",
}
@inproceedings{HLo06Rev,
title = "``{Scrap Your Boilerplate}'' Revolutions",
author = "Hinze, Ralf and Löh, Andres",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "8th International Conference on Mathematics of Program Construction (MPC '06)",
editor = "Uustalu, Tarmo",
location = "Kuressaare, Estonia",
month = "jul",
pages = "180-208",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4014",
doi = "10.1007/11783596_13",
}
@inproceedings{HLO06SYB,
title = "``{Scrap Your Boilerplate}'' Reloaded",
author = "Hinze, Ralf and Löh, Andres and Oliveira, Bruno C.d.S.",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
editor = "Hagiya, Masami and Wadler, Philip",
location = "Fuji Susono, Japan",
month = "apr",
pages = "13-29",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "3945",
doi = "10.1007/11737414_3",
}
@inproceedings{HJL06Con,
title = "Typed Contracts for Functional Programming",
author = "Hinze, Ralf and Jeuring, Johan and Löh, Andres",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
editor = "Hagiya, Masami and Wadler, Philip",
location = "Fuji Susono, Japan",
month = "apr",
pages = "208-225",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "3945",
doi = "10.1007/11737414_15",
}
@techreport{HiL06Ope,
title = "Open data types and open functions",
author = "Hinze, Ralf and L{\"o}h, Andres",
year = "2006",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "feb",
number = "IAI-TR-2006-3",
}
@techreport{HLO06SYBTR,
title = "``{Scrap Your Boilerplate}'' Reloaded",
author = "Hinze, Ralf and L{\"o}h, Andres and Oliveira, Bruno C.d.S.",
year = "2006",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "jan",
number = "IAI-TR-2006-2",
}
@article{Hin06Gen,
title = "Generics for the masses",
author = "Hinze, Ralf",
year = "2006",
journal = "J.~Functional Programming",
month = "July \& September",
number = "4 \& 5",
pages = "451--483",
volume = "16",
doi = "10.1017/S0956796806006022",
}
@article{HiP06Fin,
title = "Finger trees: a simple general-purpose data structure",
author = "Hinze, Ralf and Paterson, Ross",
year = "2006",
journal = "JFP",
number = "2",
pages = "197-217",
volume = "16",
doi = "10.1017/S0956796805005769",
}
@inproceedings{HLO06Gen,
title = "Generics as a Library",
author = "Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres",
year = "2006",
booktitle = "Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06)",
editor = "Nilsson, Henrik",
isbn = "ISBN 9781841501888",
location = "Nottingham, UK",
publisher = "Intellect",
url = "http://www.intellectbooks.co.uk/books/view-Book,id=4576/",
}
@article{Hin05Chu,
title = "{Theoretical Pearl:} {C}hurch numerals, twice!",
author = "Hinze, Ralf",
year = "2005",
journal = "J.~Functional Programming",
month = "jan",
number = "1",
pages = "1--13",
volume = "15",
doi = "10.1017/S0956796804005313",
}
@inproceedings{Hin04Gen,
title = "Generics for the masses",
author = "Hinze, Ralf",
year = "2004",
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",
}
@inproceedings{Hin04Sca,
title = "An algebra of scans",
author = "Hinze, Ralf",
year = "2004",
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",
pages = "186-210",
publisher = "Springer",
series = "LNCS",
volume = "3125",
}
@article{HJL03Typ,
title = "Type-indexed data types",
author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
year = "2004",
journal = "Science of Computer Programming",
month = "may",
number = "1-2",
pages = "117-151",
volume = "51",
doi = "10.1016/j.scico.2003.07.001",
}
@article{Hin04Edi,
title = "Special issue on functional pearls (Editorial)",
author = "Hinze, Ralf",
year = "2004",
journal = "JFP",
number = "6",
pages = "601",
volume = "14",
doi = "10.1017/S0956796804005271",
}
@misc{Hin04Typ,
title = "Typed Quote/Antiquote",
author = "Hinze, Ralf",
year = "2004",
note = "in preparation",
}
@article{Hin03For,
title = "{Functional Pearl:} {F}ormatting: a class act",
author = "Hinze, Ralf",
year = "2003",
journal = "J.~Functional Programming",
month = "sep",
number = "5",
pages = "935--944",
volume = "13",
doi = "10.1017/S0956796802004367",
}
@inproceedings{BiH03Tro,
title = "Functional Pearl: {Trouble} Shared is Trouble Halved",
author = "Bird, Richard and Hinze, Ralf",
year = "2003",
booktitle = "Proceedings of the 2003 ACM SIGPLAN Haskell Workshop",
editor = "Jeuring, Johan",
month = "sep",
pages = "1--6",
publisher = "ACM-Press",
}
@techreport{HiJ03GHPa,
title = "Generic Haskell: Practice and Theory",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2003",
institution = "Universiteit Utrecht",
number = "UU-CS-2003-15",
}
@techreport{HiJ03GHAa,
title = "Generic Haskell: Applications",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2003",
institution = "Universiteit Utrecht",
number = "UU-CS-2003-16",
}
@techreport{ChH03Pha,
title = "First-Class Phantom Types",
author = "Cheney, James and Hinze, Ralf",
year = "2003",
institution = "Cornell University",
}
@incollection{HiJ03GHP,
title = "Generic {Haskell}: Practice and Theory",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2003",
booktitle = "Generic Programming: Advanced Lectures",
editor = "Backhouse, Roland and Gibbons, Jeremy",
pages = "1--56",
publisher = "Springer",
series = "LNCS",
volume = "2793",
}
@incollection{HiJ03GHA,
title = "Generic {Haskell}: Applications",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2003",
booktitle = "Generic Programming: Advanced Lectures",
editor = "Backhouse, Roland and Gibbons, Jeremy",
pages = "57--97",
publisher = "Springer",
series = "LNCS",
volume = "2793",
}
@incollection{Hin03Fun,
title = "Fun with phantom types",
author = "Hinze, Ralf",
year = "2003",
booktitle = "The Fun of Programming",
editor = "Gibbons, Jeremy and {de Moor}, Oege",
isbn = "ISBN 9781403907721 hardback, ISBN 9780333992852 paperback",
note = "ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback",
pages = "245-262",
publisher = "Palgrave Macmillan",
series = "Cornerstones of Computing",
}
@misc{HiP02Typ,
title = "Derivation of a Typed Functional {LR} Parser",
author = "Hinze, Ralf and Paterson, Ross",
year = "2003",
note = "in preparation",
}
@inproceedings{Hin02Con,
title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
author = "Hinze, Ralf",
year = "2002",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002",
editor = "Boiten, Eerke A. and M{\"o}ller, Bernhard",
location = "Dagstuhl, Germany",
month = "jul",
pages = "131--147",
publisher = "Springer",
series = "LNCS",
volume = "2386",
doi = "10.1007/3-540-45442-X_9",
}
@inproceedings{HJL02Typ,
title = "Type-indexed Data Types",
author = "Hinze, Ralf and Jeuring, Johan and Löh, Andres",
year = "2002",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
editor = "Boiten, Eerke A. and Möller, Bernhard",
location = "Dagstuhl, Germany",
month = "jul",
pages = "148--174",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "2386",
doi = "10.1007/3-540-45442-X_10",
}
@techreport{AcH02Com,
title = "Combining Generics and Dynamics",
author = "Achten, Peter and Hinze, Ralf",
year = "2002",
institution = "Nijmegen Institute for Computing and Information Sciences, University of Nijmegen",
month = "jul",
number = "NIII-R0206",
}
@techreport{Hin02Cona,
title = "Constructing tournament representations: {An} exercise in pointwise relational programming",
author = "Hinze, Ralf",
year = "2002",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "feb",
number = "IAI-TR-2002-2",
}
@techreport{Hin02Chu,
title = "Church numerals, twice!",
author = "Hinze, Ralf",
year = "2002",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "feb",
number = "IAI-TR-2002-3",
}
@article{Hin02Fre,
title = "{Functional Pearl:} {A} fresh look at binary search trees",
author = "Hinze, Ralf",
year = "2002",
journal = "J.~Functional Programming",
month = "nov",
number = "6",
pages = "601--607",
volume = "12",
doi = "10.1017/S0956796801004269",
}
@inproceedings{Hin02Boo,
title = "Bootstrapping One-sided Flexible Arrays",
author = "Hinze, Ralf",
year = "2002",
booktitle = "Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4--6, 2002",
editor = "{Peyton Jones}, Simon",
isbn = "1-58113-487-8",
month = "oct",
pages = "01/02/13",
publisher = "ACM-Press",
doi = "10.1145/581478.581480",
}
@inproceedings{ChH02Lig,
title = "A Lightweight Implementation of Generics and Dynamics",
author = "Cheney, James and Hinze, Ralf",
year = "2002",
booktitle = "Proceedings of the 2002 ACM SIGPLAN Haskell Workshop",
editor = "Chakravarty, Manuel M.T.",
month = "oct",
pages = "90-104",
publisher = "ACM-Press",
}
@article{Hin02Pol,
title = "Polytypic values possess polykinded types",
author = "Hinze, Ralf",
year = "2002",
journal = "Science of Computer Programming",
month = "May-June",
number = "2-3",
pages = "129-159",
volume = "43",
doi = "10.1016/S0167-6423(02)00025-4",
}
@techreport{HJL02Typa,
title = "Type-indexed data types",
author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
year = "2002",
institution = "Universiteit Utrecht",
number = "UU-CS-2002-11",
}
@article{Hin00Man,
title = "Manufacturing datatypes",
author = "Hinze, Ralf",
year = "2001",
journal = "JFP",
month = "sep",
number = "5",
pages = "493-524",
volume = "11",
doi = "10.1017/S095679680100404X",
}
@inproceedings{Hin01PSQb,
title = "A Simple Implementation Technique for Priority Search Queues",
author = "Hinze, Ralf",
year = "2001",
booktitle = "Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001",
editor = "Leroy, Xavier",
month = "sep",
pages = "110--121",
}
@proceedings{Hin01HW,
title = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
year = "2001",
booktitle = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
editor = "Hinze, Ralf",
location = "Florence, Italy",
month = "sep",
note = "The preliminary proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2001-62",
publisher = "Electronic Notes in Theoretical Computer Science",
volume = "59",
}
@inproceedings{HPJ00Pol,
title = "Derivable Type Classes",
author = "Hinze, Ralf and {Peyton Jones}, Simon",
year = "2001",
booktitle = "Proceedings of the 2000 ACM SIGPLAN Haskell Workshop",
editor = "Hutton, Graham",
location = "Montreal, Canada",
month = "aug",
note = "The preliminary proceedings appeared as a University of Nottingham technical report",
pages = "5-35",
publisher = "Elsevier Science",
volume = "41(1) of Electronic Notes in Theoretical Computer Science",
doi = "10.1016/S1571-0661(05)80542-0",
}
@article{Hin00Pol,
title = "Polytypic Programming With Ease",
author = "Hinze, Ralf",
year = "2001",
journal = "Journal of Functional and Logic Programming",
month = "jul",
number = "3",
publisher = "European Association for Programming Languages and Systems",
url = "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html",
volume = "2001",
}
@techreport{Hin01PSQ,
title = "A Simple Implementation Technique for Priority Search Queues",
author = "Hinze, Ralf",
year = "2001",
institution = "Universiteit Utrecht",
month = "mar",
number = "UU-CS-2001-09",
}
@article{HiJ01Wea,
title = "{Functional Pearl:} {W}eaving a web",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2001",
journal = "JFP",
month = "nov",
number = "6",
pages = "681-689",
volume = "11",
doi = "10.1017/S0956796801004129",
}
@techreport{CHJLW01Gen,
title = "The Generic Haskell user's guide",
author = "Clarke, Dave and Hinze, Ralf and Jeuring, Johan and L?h, Andres and {de Wit}, Jan",
year = "2001",
institution = "Universiteit Utrecht",
month = "nov",
number = "UU-CS-2001-26",
}
@article{Hin01Pro,
title = "{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation",
author = "Hinze, Ralf",
year = "2001",
journal = "IJFCS",
number = "2",
pages = "125-170",
volume = "12",
doi = "10.1142/S0129054101000436",
}
@techreport{HiJ01Weaa,
title = "Functional Pearl: Weaving a Web",
author = "Hinze, Ralf",
year = "2001",
institution = "Universiteit Utrecht",
number = "UU-CS-2001-33",
}
@inproceedings{Hin00Der,
title = "Deriving Backtracking Monad Transformers",
author = "Hinze, Ralf",
year = "2000",
booktitle = "Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000",
editor = "Wadler, Phil",
month = "sep",
pages = "186--197",
}
@inproceedings{Hin00Mem,
title = "Memo functions, polytypically!",
author = "Hinze, Ralf",
year = "2000",
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",
}
@inproceedings{Hin00MPC,
title = "Polytypic values possess polykinded types",
author = "Hinze, Ralf",
year = "2000",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000",
editor = "Backhouse, Roland and Oliveira, J.N.",
location = "Ponte de Lima, Portugal",
month = "jul",
pages = "2--27",
publisher = "Springer",
series = "LNCS",
volume = "1837",
doi = "10.1007/10722010_2",
}
@inproceedings{Hin00Eff,
title = "Efficient Generalized Folds",
author = "Hinze, Ralf",
year = "2000",
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",
}
@article{Hin00Per,
title = "{Functional Pearl:} {Perfect} trees and bit-reversal permutations",
author = "Hinze, Ralf",
year = "2000",
journal = "JFP",
month = "may",
number = "3",
pages = "305-317",
volume = "10",
doi = "10.1017/S0956796800003701",
}
@inproceedings{Hin00New,
title = "A New Approach to Generic Functional Programming",
author = "Hinze, Ralf",
year = "2000",
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.",
isbn = "1-58113-125-9",
month = "jan",
pages = "119--132",
doi = "10.1145/325694.325709",
}
@article{Hin00Gen,
title = "Generalizing generalized tries",
author = "Hinze, Ralf",
year = "2000",
journal = "JFP",
number = "4",
pages = "327-351",
volume = "10",
doi = "10.1017/S0956796800003713",
}
@phdthesis{Hin00Hab,
title = "Generic Programs and Proofs",
author = "Hinze, Ralf",
year = "2000",
school = "Universit\"{a}t Bonn",
}
@article{Hin99Polb,
title = "Polytypic Functions Over Nested Datatypes",
author = "Hinze, Ralf",
year = "1999",
journal = "Discrete Mathematics and Theoretical Computer Science",
month = "sep",
number = "4",
pages = "193-214",
volume = "3",
}
@article{Hin99PFDS,
title = "{Book review:} {``Purely Functional Data Structures''}, by {Chris Okasaki}",
author = "Hinze, Ralf",
year = "1999",
journal = "JFP",
month = "sep",
number = "5",
pages = "577--578",
volume = "9",
doi = "doi: 10.1017/S0956796899009995",
}
@inproceedings{Hin99Manb,
title = "Manufacturing Datatypes",
author = "Hinze, Ralf",
year = "1999",
booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)",
editor = "Okasaki, Chris",
location = "Paris, France",
month = "sep",
note = "The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|",
pages = "1--16",
}
@inproceedings{Hin99Has,
title = "A Generic Programming Extension for {Haskell}",
author = "Hinze, Ralf",
year = "1999",
booktitle = "Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}",
editor = "Meijer, Erik",
location = "Paris, France",
month = "sep",
note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28",
}
@inproceedings{Hin99Con,
title = "Constructing Red-Black Trees",
author = "Hinze, Ralf",
year = "1999",
booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99)",
editor = "Okasaki, Chris",
location = "Paris, France",
month = "sep",
note = "The proceedings appeared as a technical report of Columbia University, CUCS-023-99",
pages = "89--99",
}
@inproceedings{GHK99Str,
title = "Straight to the Heart of Computer Science via Functional Programming",
author = "Giegerich, Robert and Hinze, Ralf and Kurtz, Stefan",
year = "1999",
booktitle = "Proceedings of the Workshop on Functional and Declarative Programming in Education, {FDPE'99}, {Paris}, {France}",
editor = "Felleisen, Matthias and Hanus, Michael and Thompson, Simon",
location = "Paris, France",
month = "sep",
note = "The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346",
pages = "1--5",
}
@techreport{Hin99New,
title = "A New Approach to Generic Functional Programming",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "jul",
number = "IAI-TR-99-9",
}
@techreport{Hin99Eff,
title = "Efficient Generalized Folds",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "jun",
number = "IAI-TR-99-8",
}
@techreport{Hin99RBT,
title = "Constructing Red-Black Trees",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "may",
number = "IAI-TR-99-6",
}
@techreport{Hin99Man,
title = "Manufacturing Datatypes",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "apr",
number = "IAI-TR-99-5",
}
@inproceedings{Hin99Pol,
title = "Polytypic Functions Over Nested Datatypes (Extended Abstract)",
author = "Hinze, Ralf",
year = "1999",
booktitle = "3rd Latin-American Conference on Functional Programming ({CLaPF'99})",
editor = "Lins, Rafael Dueire",
month = "mar",
}
@techreport{Hin99Per,
title = "Perfect Trees and Bit-reversal Permutations",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "mar",
number = "IAI-TR-99-4",
}
@techreport{Hin99Eas,
title = "Polytypic Programming With Ease",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "feb",
number = "IAI-TR-99-2",
}
@misc{PJH99Library,
title = "Standard Libraries for the {Haskell}~98 Programming Language",
author = "Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
year = "1999",
editor = "{Peyton Jones}, Simon and Hughes, John",
howpublished = "Available from \url{http://www.haskell.org/definition/}",
month = "feb",
}
@misc{PJH99Report,
title = "{Haskell}~98 --- {A} Non-strict, Purely Functional Language",
author = "{Peyton Jones} [editor] and Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
year = "1999",
editor = "{Peyton Jones}, Simon and Hughes, John",
howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
month = "feb",
}
@techreport{Hin99Polc,
title = "Polytypic values possess polykinded types",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "dec",
number = "IAI-TR-99-15",
}
@inproceedings{Hin99Easb,
title = "Polytypic Programming With Ease (Extended Abstract)",
author = "Hinze, Ralf",
year = "1999",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS'99}), {Tsukuba}, {Japan}",
editor = "Middeldorp, Aart and Sato, Taisuke",
location = "Tsukuba, Japan",
month = "nov",
pages = "21--36",
publisher = "Springer",
series = "LNCS",
volume = "1722",
doi = "10.1007/10705424_2",
}
@article{Hin99Bin,
title = "{Functional Pearl:} {Explaining} binomial heaps",
author = "Hinze, Ralf",
year = "1999",
journal = "JFP",
month = "jan",
number = "1",
pages = "93-104",
volume = "9",
doi = "10.1017/S0956796899003317",
}
@techreport{Hin99Der,
title = "Deriving monad transformers",
author = "Hinze, Ralf",
year = "1999",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "jan",
number = "IAI-TR-99-1",
}
@inproceedings{Hin98Pro,
title = "Prological Features in a Functional Setting --- Axioms and Implementations",
author = "Hinze, Ralf",
year = "1998",
address = "Singapore, New Jersey, London, Hong Kong",
booktitle = "Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)",
editor = "Sato, Masahiko and Toyama, Yoshihito",
isbn = "ISBN 981-02-3384-1",
location = "Kyoto, Japan",
month = "apr",
pages = "98--122",
publisher = "World Scientific",
}
@techreport{Hin98Num,
title = "Numerical Representations as Higher-Order Nested Datatypes",
author = "Hinze, Ralf",
year = "1998",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "dec",
number = "IAI-TR-98-12",
}
@techreport{Hin98Gen,
title = "Generalizing Generalized Tries",
author = "Hinze, Ralf",
year = "1998",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "nov",
number = "IAI-TR-98-11",
}
@techreport{Hin98Pol,
title = "Polytypic Functions Over Nested Datatypes",
author = "Hinze, Ralf",
year = "1998",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "oct",
number = "IAI-TR-98-10",
}
@incollection{Hin98Str,
title = "Projektionsbasierte {S}triktheitsanalyse",
author = "Hinze, Ralf",
year = "1998",
address = "Stuttgart",
booktitle = "Ausgezeichnete Informatikdissertationen 1996",
isbn = "3-519-02646-5",
pages = "46-61",
publisher = "B.G.~Teubner",
}
@techreport{Hin96Eff,
title = "Efficient Monadic-style Backtracking",
author = "Hinze, Ralf",
year = "1996",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "oct",
number = "IAI-TR-96-9",
}
@phdthesis{Hin95Pro,
title = "Projection-based Strictness Analysis --- Theoretical and Practical Aspects",
author = "Hinze, Ralf",
year = "1995",
month = "nov",
school = "Universit\"{a}t Bonn",
}
@book{CGH94Ded,
title = "Deduktive Datenbanken --- Eine Einführung aus der Sicht der logischen Programmierung",
author = "Cremers, Armin B. and Griefahn, Ulrike and Hinze, Ralf",
year = "1994",
address = "Braunschweig/Wiesbaden",
booktitle = "Deduktive Datenbanken --- Eine Einführung aus der Sicht der logischen Programmierung",
isbn = "3-528-04700-3",
publisher = "Vieweg",
series = "K{\"u}nstliche Intelligenz",
}
@incollection{CEH93Rol,
title = "Die Rolle der mathematischen Logik in der K{\"u}nstlichen Intelligenz",
author = "Cremers, Armin B. and Eder, Elmar and Hinze, Ralf",
year = "1993",
booktitle = "K{\"u}nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage",
publisher = "Verein Deutscher Ingenieure",
}
@techreport{Hin92Cat,
title = "The Categorical Abstract Machine: Basics and Enhancments",
author = "Hinze, Ralf",
year = "1992",
institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
month = "dec",
number = "IAI-TR-92-1",
}
@book{Hin92Fun,
title = "Einführung in die funktionale Programmierung mit Miranda",
author = "Hinze, Ralf",
year = "1992",
address = "Stuttgart",
booktitle = "Einführung in die funktionale Programmierung mit Miranda",
isbn = "3-519-02287-7",
publisher = "B.G.~Teubner",
}
@unpublished{Hin92b,
title = "Einf{\"u}hrung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung",
author = "Hinze, R.",
year = "1992",
note = "Vorlesungsskript SS 92, Universit{\"a}t Bonn, Institut f{\"u}r Informatik III",
}
@mastersthesis{Hin89Typ,
title = "Typsysteme und {Typinferenzsysteme}",
author = "Hinze, Ralf",
year = "1989",
month = "may",
school = "Universit\"{a}t Dortmund",
}