@article(Bentley84:Programming, author = "Jon Bentley", year = "1984", title = "Programming Pearls: Algorithm Design Techniques", journal = "Communications of the ACM", volume = "27", number = "9", pages = "865--873", doi = "10.1145/358234.381162", ) @book(Bentley86:Programming, author = "Jon Bentley", year = "1986", title = "Programming Pearls", publisher = "Addison-Wesley", ) @article(Bird*96:Generic, author = "Richard Bird and Oege de Moor and Paul Hoogendijk", year = "1996", title = "Generic Functional Programming with Types and Relations", journal = "Journal of Functional Programming", volume = "6", number = "1", pages = "1--28", doi = "10.1017/S0956796800001556", ) @incollection(Bird87:Theory, author = "Richard S. Bird", year = "1987", title = "An Introduction to the Theory of Lists", editor = "Manfred Broy", booktitle = "Logic of Programming and Calculi of Discrete Design", publisher = "Springer-Verlag", pages = "3--42", url = "http://web.comlab.ox.ac.uk/publications/publication3837-abstract.html", note = "NATO ASI Series F Volume 36", ) @inproceedings(Bird88:Constructive, author = "Richard S. Bird", year = "1988", title = "Lectures on Constructive Functional Programming", editor = "Manfred Broy", booktitle = "Constructive Methods in Computer Science", publisher = "Springer-Verlag", pages = "151--218", url = "http://web.comlab.ox.ac.uk/publications/publication3849-abstract.html", note = "NATO ASI Series F Volume 55", ) @article(Bird89:Algebraic, author = "Richard S. Bird", year = "1989", title = "Algebraic Identities for Program Calculation", journal = "Computer Journal", volume = "32", number = "2", pages = "122--126", doi = "10.1093/comjnl/32.2.122", ) @book(Bird98:Introduction, author = "Richard S. Bird", year = "1998", title = "Introduction to Functional Programming Using {H}askell", publisher = "Prentice-Hall", ) @book(Bird&deMoor96:Algebra, author = "Richard S. Bird and Oege de Moor", year = "1996", title = "Algebra of Programming", series = "International Series in Computer Science", publisher = "Prentice-Hall", ) @article(Codd70:Relational, author = "E. F. Codd", year = "1970", title = "A Relational Model of Data for Large Shared Data Banks", journal = "Communications of the ACM", volume = "13", pages = "377--387", doi = "10.1145/362384.362685", ) @inproceedings(Gibbons98:Polytypic, author = "Jeremy Gibbons", year = "1998", title = "Polytypic Downwards Accumulations", editor = "Johan Jeuring", booktitle = "Proceedings of Mathematics of Program Construction", series = "Lecture Notes in Computer Science", volume = "1422", publisher = "Springer-Verlag", address = "Marstrand, Sweden", pages = "207--233", doi = "10.1007/BFb0054292", url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/polyda.ps.gz", ) @article(Gibbons2000:Generic, author = "Jeremy Gibbons", year = "2000", title = "Generic Downwards Accumulations", journal = "Science of Computer Programming", volume = "37", pages = "37--65", doi = "10.1016/S0167-6423(99)00022-2", url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/genda.ps.gz", ) @incollection(Gibbons2003:Origami, author = "Jeremy Gibbons", year = "2003", title = "Origami Programming", editor = "Gibbons and de Moor", pages = "41--60", url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/origami.pdf", ) @book(Gibbons&deMoor2003:Fun, editor = "Jeremy Gibbons and Oege de Moor", year = "2003", title = "The Fun of Programming", series = "Cornerstones in Computing", publisher = "Palgrave", note = "ISBN 1-4039-0772-2", ) @article(Gibbons&Oliveira2009:Essence, author = "Jeremy Gibbons and Bruno C\'esar dos Santos Oliveira", year = "2009", title = "The Essence of the {I}terator Pattern", journal = "Journal of Functional Programming", volume = "19", number = "3,4", pages = "377--402", doi = "10.1017/S0956796809007291", url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf", ) @article(Hudak1996:Building, author = "Paul Hudak", year = "1996", title = "Building Domain-Specific Embedded Languages", journal = "ACM Computing Surveys", volume = "28", doi = "10.1145/242224.242477", ) @inproceedings(Hughes95:Design, author = "John Hughes", year = "1995", title = "The Design of a Pretty-Printing Library", editor = "Johan Jeuring and Erik Meijer", booktitle = "Advanced Functional Programming", series = "Lecture Notes in Computer Science", volume = "925", publisher = "Springer-Verlag", pages = "53--96", doi = "10.1007/3-540-59451-5\_3", note = "Lecture notes from the First International Spring School on Advanced Functional Programming Techniques, B{\r a}stad, Sweden", ) @inproceedings(Lellahi&Tannen97:Calculus, author = "S. Kazem Lellahi and Val Tannen", year = "1997", title = "A Calculus for Collections and Aggregates", editor = "Eugenio Moggi and Giuseppe Rosolini", booktitle = "Category Theory and Computer Science", series = "Lecture Notes in Computer Science", volume = "1290", publisher = "Springer", pages = "261--280", doi = "10.1007/BFb0026993", ) @article(McBride&Paterson2008:Applicative, author = "Conor McBride and Ross Paterson", year = "2008", title = "Applicative Programming with Effects", journal = "Journal of Functional Programming", volume = "18", number = "1", pages = "1--13", doi = "10.1017/S0956796807006326", ) @article(Meertens92:Paramorphisms, author = "Lambert Meertens", year = "1992", title = "Paramorphisms", journal = "Formal Aspects of Computing", volume = "4", number = "5", pages = "413--424", doi = "10.1007/BF01211391", url = "http://computerscience.nl/research/techreps/RUU-CS-90-04.html", ) @inproceedings(Meijer*91:Functional, author = "Erik Meijer and Maarten Fokkinga and Ross Paterson", year = "1991", title = "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire", editor = "John Hughes", booktitle = "Functional Programming Languages and Computer Architecture", series = "Lecture Notes in Computer Science", volume = "523", publisher = "Springer-Verlag", pages = "124--144", doi = "10.1007/3540543961\_7", ) @unpublished(Paterson2005:Data, author = "Ross Paterson", year = "2005", title = "Data.Foldable library for Haskell", url = "http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/src/Data-Foldable.html", ) @book(PeytonJones2003:Haskell, author = "Simon Peyton Jones", year = "2003", title = "The {H}askell 98 Language and Libraries: The Revised Report", publisher = "Cambridge University Press", doi = "10.1017/S0956796803000315", url = "http://haskell.org/onlinereport/", ) @unpublished(Rypacek2010:Labelling, author = "Ond{\v {r}}ej Ryp{\'a}{\v {c}}ek", year = "2010", title = "Labelling Polynomial Functors: A Coherent Approach", url = "http://www.dcs.kcl.ac.uk/staff/rypacek/labelers.pdf", note = "Manuscript", ) @incollection(Wadler2003:Prettier, author = "Philip Wadler", year = "2003", title = "A Prettier Printer", editor = "Gibbons and de Moor", pages = "223--243", url = "http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf", note = "ISBN 1-4039-0772-2", )