Ralf Hinze : Publications
Click here to download all publications in a single bibtex file
@article{reladj,
title = "Relational Algebra by Way of Adjunctions",
author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
year = "2018",
journal = "PACMPL",
month = "September",
note = "Winner of a Distinguished Paper Award",
number = "ICFP",
url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf",
volume = "2",
doi = "10.1145/3236781",
}
@inproceedings{hylomorphisms,
title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
year = "2015",
booktitle = "POPL 2015",
month = "January",
pages = "527-538",
url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/papers/conj-hylo.pdf",
doi = "10.1145/2676726.2676989",
}
@inproceedings{Wu2014,
title = "Effect Handlers in Scope",
author = "Nicolas Wu and Tom Schrijvers and Ralf Hinze",
year = "2014",
address = "New York, NY, USA",
booktitle = "Proceedings of the 2014 Haskell Symposium",
publisher = "ACM",
series = "Haskell '14",
url = "http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf",
}
@misc{HiW13Squ,
title = "Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited",
author = "Hinze, Ralf and Wu, Nicolas",
year = "2013",
booktitle = "Een Lawine van Ontwortelde Bomen - Liber Amicorum voor Doaitse Swierstra",
editor = "Hage, Jurriaan and Dijkstra, Atze",
howpublished = "Liber amicorum voor Doaitse Swierstra",
month = "may",
}
@article{Hin12Adj,
title = "Adjoint folds and unfolds---An extended study",
author = "Hinze, Ralf",
year = "2013",
journal = "Science of Computer Programming",
number = "11",
pages = "2108-2159",
volume = "78",
doi = "10.1016/j.scico.2012.07.011",
}
@inproceedings{HiW13His,
title = "Histo- and Dynamorphisms Revisited",
author = "Hinze, Ralf and Wu, Nicolas",
year = "2013",
address = "New York, NY, USA",
booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
editor = "Carette, Jacques and Willcock, Jeremiah",
isbn = "978-1-4503-2389-5",
location = "Boston, Massachusetts, USA",
pages = "1--12",
publisher = "ACM",
series = "WGP '13",
url = "http://doi.acm.org/10.1145/2502488.2502496",
doi = "10.1145/2502488.2502496",
}
@inproceedings{HeH13Sor,
title = "Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries",
author = "Henglein, Fritz and Hinze, Ralf",
year = "2013",
booktitle = "Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013)",
editor = "Shan, Chung-chieh",
isbn = "978-3-319-03541-3",
location = "Melbourne, Australia",
pages = "315-332",
publisher = "Springer International Publishing",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-319-03542-0_23",
volume = "8301",
doi = "10.1007/978-3-319-03542-0_23",
}
@inproceedings{HWG13Uni,
title = "Unifying Structured Recursion Schemes",
author = "Hinze, Ralf and Wu, Nicolas and Gibbons, Jeremy",
year = "2013",
address = "New York, NY, USA",
booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",
editor = "Uustalu, Tarmo",
location = "Boston, Massachusetts, USA",
pages = "209--220",
publisher = "ACM",
series = "ICFP '13",
url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf",
doi = "10.1145/2500365.2500578",
}
@proceedings{Hin13IFL,
title = "Implementation and Application of Functional Languages",
year = "2013",
editor = "Hinze, Ralf",
isbn = "978-3-642-41581-4",
location = "Oxford, UK",
publisher = "Springer Berlin Heidelberg",
series = "Lecture Notes in Computer Science",
url = "http://www.springeronline.com/978-3-642-41581-4",
volume = "8241",
doi = "10.1007/978-3-642-41582-1",
}
@incollection{HMW13Dua,
title = "A Duality of Sorts",
author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
year = "2013",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "The Beauty of Functional Code",
editor = "Achten, Peter and Koopman, Pieter",
isbn = "978-3-642-40354-5",
pages = "151-167",
publisher = "Springer Berlin Heidelberg",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
volume = "8106",
doi = "10.1007/978-3-642-40355-2_11",
}
@unpublished{HJWHM12Sor,
title = "Sorting with Bialgebras and Distributive Laws",
author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
year = "2012",
month = "May",
note = "Accepted to WGP '12",
url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}
@inproceedings{Hin12Kan,
title = "Kan Extensions for Program Optimisation---\emph{Or:} Art and Dan Explain an Old Trick",
author = "Hinze, Ralf",
year = "2012",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "11th International Conference on Mathematics of Program Construction (MPC '12)",
editor = "Gibbons, Jeremy and Nogueira, Pablo",
location = "Madrid, Spain",
pages = "324–362",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "7342",
}
@inproceedings{HJH12Sor,
title = "Sorting with bialgebras and distributive laws",
author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro",
year = "2012",
address = "New York, NY, USA",
booktitle = "Proceedings of the 8th ACM SIGPLAN workshop on Generic programming",
isbn = "978-1-4503-1576-0",
location = "Copenhagen, Denmark",
pages = "69--80",
publisher = "ACM",
series = "WGP '12",
url = "\url{http://doi.acm.org/10.1145/2364394.2364405}",
doi = "10.1145/2364394.2364405",
}
@misc{HHJ12Fun,
title = "Functional Pearl: F for Functor",
author = "Hinze, Ralf and Hackett, Jennifer and James, Daniel W. H.",
year = "2012",
url = "http://www.cs.ox.ac.uk/people/daniel.james/functor.html",
}
@incollection{Hin11Gen,
title = "Generic Programming with Adjunctions",
author = "Hinze, Ralf",
year = "2012",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Spring School on Generic and Indexed Programming",
editor = "Gibbons, Jeremy",
isbn = "978-3-642-32201-3",
location = "Oxford, UK",
pages = "47-129",
publisher = "Springer Berlin Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "7470",
doi = "10.1007/978-3-642-32202-0_2",
}
@inproceedings{HJH10The,
title = "Theory and Practice of Fusion",
author = "Hinze, Ralf and James, Daniel W.H. and Harper, Tom",
year = "2011",
affiliation = "Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD England",
booktitle = "Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)",
editor = "Hage, Jurriaan and Morazán, Marco",
location = "Alphen aan den Rijn, The Netherlands",
month = "sep",
pages = "19--37",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/daniel.james/fusion.html",
volume = "6647",
doi = "10.1007/978-3-642-24276-2_2",
}
@inproceedings{HJ11UFP,
title = "Proving the unique fixed-point principle correct: an adventure with category theory",
author = "Hinze, Ralf and James, Daniel W.H.",
year = "2011",
address = "New York, NY, USA",
booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
isbn = "978-1-4503-0865-6",
location = "Tokyo, Japan",
month = "September",
pages = "359--371",
publisher = "ACM",
series = "ICFP '11",
url = "http://www.cs.ox.ac.uk/people/daniel.james/unique.html",
doi = "10.1145/2034773.2034821",
}
@article{Hin10Con,
title = "Typed Quote/Antiquote---Or: Compile-time Parsing",
author = "Hinze, Ralf",
year = "2011",
journal = "JFP",
number = "3",
pages = "219–234",
volume = "21",
doi = "10.1017/S0956796811000050",
}
@article{Hin10Con,
title = "Concrete Stream Calculus---An extended study",
author = "Hinze, Ralf",
year = "2011",
journal = "JFP",
number = "5-6",
pages = "463–535",
volume = "20",
doi = "10.1017/S0956796810000213",
}
@inproceedings{Hin10Typ,
title = "Type Fusion",
author = "Hinze, Ralf",
year = "2011",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)",
editor = "Pavlovic, Dusko and Johnson, Michael",
location = "Manoir St-Castin, Qu\'{e}bec, Canada",
pages = "92-110",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "6486",
doi = "10.1007/978-3-642-17796-5\_6",
}
@inproceedings{Hin09Sca,
title = "Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem",
author = "Hinze, Ralf",
year = "2011",
affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
booktitle = "Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)",
editor = "Scholz, Sven-Bodo and Chitil, Olaf",
location = "University of Hertfordshire, UK",
pages = "1--24",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5836",
doi = "10.1007/978-3-642-24452-0_1",
}
@inproceedings{GiH11Doi,
title = "Just do it: simple monadic equational reasoning",
author = "Gibbons, Jeremy and Hinze, Ralf",
year = "2011",
address = "New York, NY, USA",
booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
isbn = "978-1-4503-0865-6",
location = "Tokyo, Japan",
pages = "2--14",
publisher = "ACM",
series = "ICFP '11",
url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf",
doi = "10.1145/2034773.2034777",
}
@inproceedings{HiW11Cat,
title = "Towards a categorical foundation for generic programming",
author = "Hinze, Ralf and Wu, Nicolas",
year = "2011",
address = "New York, NY, USA",
booktitle = "Proceedings of the seventh ACM SIGPLAN workshop on Generic programming",
editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
isbn = "978-1-4503-0861-8",
location = "Tokyo, Japan",
pages = "47-58",
publisher = "ACM",
series = "WGP '11",
url = "http://doi.acm.org/10.1145/2036918.2036926",
doi = "10.1145/2036918.2036926",
}
@techreport{HJ11UFPTech,
title = "Proving The Unique Fixed-Point Principle Correct",
author = "Hinze, Ralf and James, Daniel W. H.",
year = "2011",
institution = "Department of Computer Science, University of Oxford",
number = "CS-RR-2011-03",
url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
}
@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 (WGP '10)",
editor = "Oliveira, Bruno C.d.S. and Zalewski, Marcin",
isbn = "978-1-4503-0251-7",
location = "Baltimore, Maryland, USA",
month = "sep",
pages = "85--96",
publisher = "ACM",
series = "WGP '10",
doi = "10.1145/1863495.1863507",
}
@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\"{o}h, Andres",
year = "2007",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Datatype-Generic Programming",
editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
location = "Nottingham, UK",
pages = "150-208",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4719",
doi = "10.1007/978-3-540-76786-2\_3",
}
@incollection{HJL07Com,
title = "Comparing Approaches to Generic Programming in {Haskell}",
author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
year = "2007",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Datatype-Generic Programming",
editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
location = "Nottingham, UK",
pages = "72-149",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4719",
doi = "10.1007/978-3-540-76786-2\_2",
}
@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\"{o}h, Andres",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "8th International Conference on Mathematics of Program Construction (MPC '06)",
editor = "Uustalu, Tarmo",
location = "Kuressaare, Estonia",
month = "jul",
pages = "180-208",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "4014",
doi = "10.1007/11783596\_13",
}
@inproceedings{HLO06SYB,
title = "``{Scrap Your Boilerplate}'' Reloaded",
author = "Hinze, Ralf and L\"{o}h, Andres and Oliveira, Bruno C.d.S.",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
editor = "Hagiya, Masami and Wadler, Philip",
location = "Fuji Susono, Japan",
month = "apr",
pages = "13-29",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "3945",
doi = "10.1007/11737414\_3",
}
@inproceedings{HJL06Con,
title = "Typed Contracts for Functional Programming",
author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
year = "2006",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
editor = "Hagiya, Masami and Wadler, Philip",
location = "Fuji Susono, Japan",
month = "apr",
pages = "208-225",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "3945",
doi = "10.1007/11737414\_15",
}
@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 = "JFP",
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 = "JFP",
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",
address = "New York, NY, USA",
booktitle = "Proceedings of the ninth ACM SIGPLAN international conference on Functional Programming (ICFP '04)",
editor = "Fisher, Kathleen",
isbn = "1-58113-905-5",
location = "Snow Bird, UT, USA",
month = "sep",
pages = "236-243",
publisher = "ACM",
doi = "10.1145/1016850.1016882",
}
@inproceedings{Hin04Sca,
title = "An Algebra of Scans",
author = "Hinze, Ralf",
year = "2004",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04)",
editor = "Kozen, Dexter",
location = "Stirling, Scotland, UK",
month = "jul",
pages = "186-210",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "3125",
doi = "10.1007/978-3-540-27764-4\_11",
}
@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 = "JFP",
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",
address = "New York, NY, USA",
booktitle = "Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell '03)",
editor = "Jeuring, Johan",
isbn = "1-58113-758-3",
location = "Uppsala, Sweden",
month = "sep",
pages = "1--6",
publisher = "ACM",
doi = "10.1145/871895.871896",
}
@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",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Generic Programming: {Advanced} Lectures",
editor = "Backhouse, Roland and Gibbons, Jeremy",
location = "Oxford, UK",
pages = "1-56",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "2793",
doi = "10.1007/978-3-540-45191-4\_1",
}
@incollection{HiJ03GHA,
title = "Generic {Haskell}: {Applications}",
author = "Hinze, Ralf and Jeuring, Johan",
year = "2003",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn Germany",
booktitle = "Generic Programming: {Advanced} Lectures",
editor = "Backhouse, Roland and Gibbons, Jeremy",
location = "Oxford, UK",
pages = "57-96",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "2793",
doi = "10.1007/978-3-540-45191-4\_2",
}
@incollection{Hin03Fun,
title = "Fun with phantom types",
author = "Hinze, Ralf",
year = "2003",
booktitle = "The Fun of Programming",
editor = "Gibbons, Jeremy and {de Moor}, Oege",
isbn = "ISBN 9781403907721 hardback, ISBN 9780333992852 paperback",
pages = "245-262",
publisher = "Palgrave Macmillan",
series = "Cornerstones of Computing",
}
@misc{HiP02Typ,
title = "Derivation of a Typed Functional {LR} Parser",
author = "Hinze, Ralf and Paterson, Ross",
year = "2003",
note = "in preparation",
}
@inproceedings{Hin02Con,
title = "Constructing Tournament Representations: {An} Exercise in Pointwise Relational Programming",
author = "Hinze, Ralf",
year = "2002",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
editor = "Boiten, Eerke A. and Möller, Bernhard",
location = "Dagstuhl, Germany",
month = "jul",
pages = "131--147",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "2386",
doi = "10.1007/3-540-45442-X\_9",
}
@inproceedings{HJL02Typ,
title = "Type-indexed Data Types",
author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
year = "2002",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
editor = "Boiten, Eerke A. and Möller, Bernhard",
location = "Dagstuhl, Germany",
month = "jul",
pages = "148--174",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "2386",
doi = "10.1007/3-540-45442-X\_10",
}
@techreport{AcH02Com,
title = "Combining Generics and Dynamics",
author = "Achten, Peter and Hinze, Ralf",
year = "2002",
institution = "Nijmegen Institute for Computing and Information Sciences, University of Nijmegen",
month = "jul",
number = "NIII-R0206",
}
@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 = "JFP",
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",
address = "New York, NY, USA",
booktitle = "Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02)",
editor = "{Peyton Jones}, Simon",
isbn = "1-58113-487-8",
location = "Pittsburgh, PA, USA",
month = "oct",
pages = "2-13",
publisher = "ACM",
doi = "10.1145/581478.581480",
}
@inproceedings{ChH02Lig,
title = "A lightweight implementation of generics and dynamics",
author = "Cheney, James and Hinze, Ralf",
year = "2002",
address = "New York, NY, USA",
booktitle = "Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02)",
editor = "Chakravarty, Manuel M.T.",
isbn = "1-58113-605-6",
location = "Pittsburgh, PA, USA",
month = "oct",
pages = "90-104",
publisher = "ACM",
doi = "10.1145/581690.581698",
}
@article{Hin02Pol,
title = "Polytypic values possess polykinded types",
author = "Hinze, Ralf",
year = "2002",
journal = "Science of Computer Programming",
month = "May-June",
number = "2-3",
pages = "129-159",
volume = "43",
doi = "10.1016/S0167-6423(02)00025-4",
}
@techreport{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",
address = "New York, NY, USA",
booktitle = "Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (ICFP '01)",
editor = "Leroy, Xavier",
isbn = "1-58113-415-0",
location = "Florence, Italy",
month = "sep",
pages = "110--121",
publisher = "ACM",
doi = "10.1145/507635.507650",
}
@proceedings{Hin01HW,
title = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
year = "2001",
booktitle = "Proceedings of the 2001 ACM SIGPLAN Haskell Workshop",
editor = "Hinze, Ralf",
location = "Florence, Italy",
month = "sep",
note = "The preliminary proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2001-62",
publisher = "Electronic Notes in Theoretical Computer Science",
volume = "59",
}
@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 = "EAPLS",
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\"{o}h, Andres and {de Wit}, Jan",
year = "2001",
institution = "Universiteit Utrecht",
month = "nov",
number = "UU-CS-2001-26",
}
@article{Hin01Pro,
title = "{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation",
author = "Hinze, Ralf",
year = "2001",
journal = "IJFCS",
number = "2",
pages = "125-170",
volume = "12",
doi = "10.1142/S0129054101000436",
}
@techreport{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",
address = "New York, NY, USA",
booktitle = "Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00)",
editor = "Wadler, Phil",
isbn = "1-58113-202-6",
location = "Montreal, Canada",
month = "sep",
pages = "186--197",
publisher = "ACM",
doi = "10.1145/351240.351258",
}
@inproceedings{Hin00Mem,
title = "Memo functions, polytypically!",
author = "Hinze, Ralf",
year = "2000",
booktitle = "Proceedings of the second Workshop on Generic Programming",
editor = "Jeuring, Johan",
location = "Ponte de Lima, Portugal",
month = "jul",
note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
pages = "17--32",
}
@inproceedings{Hin00MPC,
title = "Polytypic Values Possess Polykinded Types",
author = "Hinze, Ralf",
year = "2000",
affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)",
editor = "Backhouse, Roland and Oliveira, José",
location = "Ponte de Lima, Portugal",
month = "jul",
pages = "2-27",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "1837",
doi = "10.1007/10722010\_2",
}
@inproceedings{Hin00Eff,
title = "Efficient Generalized Folds",
author = "Hinze, Ralf",
year = "2000",
booktitle = "Proceedings of the second Workshop on Generic Programming",
editor = "Jeuring, Johan",
location = "Ponte de Lima, Portugal",
month = "jul",
note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
pages = "1--16",
}
@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",
address = "New York, NY, USA",
booktitle = "Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} symposium on Principles of programming languages (POPL '00)",
editor = "Reps, Thomas W.",
isbn = "1-58113-125-9",
location = "Boston, MA, USA",
month = "jan",
pages = "119--132",
publisher = "ACM",
doi = "10.1145/325694.325709",
}
@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",
url = "http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/109",
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 = "Proceedings of the 3rd Latin-American Conference on Functional Programming ({CLaPF '99})",
editor = "Lins, Rafael Dueire",
location = "Recife, Brazil",
month = "mar",
url = "http://www.di.ufpe.br/~clapf99/",
}
@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 = "{Peyton Jones} [editor] and Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
year = "1999",
editor = "{Peyton Jones}, Simon and Hughes, John",
howpublished = "Available from \texttt{http://www.haskell.org/definition/}",
month = "feb",
}
@misc{PJH99Library,
title = "Standard Libraries for the {Haskell}~98 Programming Language",
author = "Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip",
year = "1999",
editor = "{Peyton Jones}, Simon and Hughes, John",
howpublished = "Available from \url{http://www.haskell.org/definition/}",
month = "feb",
}
@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 = "Proceedings of the 4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS '99})",
editor = "Middeldorp, Aart and Sato, Taisuke",
location = "Tsukuba, Japan",
month = "nov",
pages = "21-36",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
volume = "1722",
doi = "10.1007/10705424\_2",
}
@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",
}