Algebra of Programming: Publications

By dateBy titleBy type Bibtex

[1]	A Calculus of Functions for Program Derivation Richard S. Bird In David A. Turner, editor, Research Topics in Functional Programming. Addison−Wesley. 1990. Also available as Technical Monograph PRG−64‚ from the Programming Research Group‚ Oxford University Details \| BibTeX

[2]	A Formal Development of an Efficient Supercombinator Compiler R. S. Bird In Science of Computer Programming. Vol. 8. Pages 113–137. 1987. Details \| BibTeX \| DOI (10.1016/0167-6423(87)90017-7)

[3]	A Functional Derivation of the Warren Abstract Machine Maciej Pirog and Jeremy Gibbons 2011. Submitted for publication Details \| BibTeX

[4]	A Generic Programming Extension for Haskell Ralf Hinze In Erik Meijer, editor, Proceedings of the 3rd Haskell Workshop‚ Paris‚ France. September, 1999. The proceedings appeared as a technical report of Universiteit Utrecht‚ UU−CS−1999−28 Details \| BibTeX

[5]	A New Approach to Generic Functional Programming Ralf Hinze No. IAI−TR−99−9. Institut für Informatik III‚ Universität Bonn. July, 1999. Details \| BibTeX

[6]	A New View of Binary Trees Jeremy Gibbons Master's Thesis , type=Transferral dissertation Transferral dissertationType. Programming Research Group‚ Oxford University. 1988. Abstract appears in the Bulletin of the EATCS‚ number 39‚ p. 214. Details \| BibTeX

[7]	A Note on Definition by Cases Richard Bird In Zeitschrift für mathematische Logik und Grundlagen der Mathematik. Vol. 19. Pages 207–208. 1973. Details \| BibTeX

[8]	A Pointless Derivation of Radixsort Jeremy Gibbons In Journal of Functional Programming. Vol. 9. No. 3. Pages 339–346. 1999. Details \| BibTeX

[9]	A Program to Solve Sudoku Richard S. Bird In Journal of Functional Programming. Vol. 16. No. 6. Pages 671−679. 2006. Details \| BibTeX \| DOI (10.1017/S0956796806006058)

[10]	A Simple Implementation Technique for Priority Search Queues Ralf Hinze No. UU−CS−2001−09. Universiteit Utrecht. March, 2001. Details \| BibTeX

[11]	Addendum to “The Promotion and Accumulation Strategies in Transformational Programming” Richard S. Bird In ACM Transactions on Programming Languages and Systems. Vol. 7. No. 3. Pages 490–492. July, 1985. Details \| BibTeX

[12]	Against the Grain: Linear−Time Breadth−First Tree Algorithms Jeremy Gibbons and Geraint Jones 1998. Oxford Brookes University and Oxford University Computing Laboratory Details \| BibTeX

[13]	Algebraic Identities for Program Calculation Richard S. Bird In Computer Journal. Vol. 32. No. 2. Pages 122–126. April, 1989. Details \| BibTeX \| DOI (10.1093/comjnl/32.2.122)

[14]

Algebraic Methods for Optimization Problems

Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu

In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 281–307. Springer−Verlag. 2002.

Details | BibTeX

[15]

Algebraic Methods for Optimization Problems

Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu

Details | BibTeX

[16]	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors Vol. 2297 of Lecture Notes in Computer Science. Springer−Verlag. 2002. Details \| BibTeX

[17]	Algebras for Tree Algorithms Jeremy Gibbons PhD Thesis , type={D}.\,{Phil}.\ thesis D.Phil. thesisType. Programming Research Group‚ Oxford University. 1991. Available as Technical Monograph PRG−94. ISBN 0−902928−72−4 Details \| BibTeX

[18]	Allegories as a Basis for Algorithmics Richard S. Bird In Eugenio Moggi and Guiseppe Rosolini, editors, LNCS 1290: Category Theory and Computer Science. Pages 34–46. Springer−Verlag. September, 1997. Details \| BibTeX \| DOI (10.1007/BFb0026979)

[19]	An Initial−Algebra Approach to Directed Acyclic Graphs Jeremy Gibbons In Bernhard Möller, editor, Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 282–303. Springer−Verlag. 1995. Details \| BibTeX

[20]	An Introduction to Functional Programming Richard S. Bird and Philip L. Wadler Prentice−Hall. 1988. Details \| BibTeX

[21]	An Introduction to the Bird−Meertens Formalism Jeremy Gibbons In Steve Reeves, editor, Proceedings of the First New Zealand Formal Program Development Colloquium. Pages 1–12. Hamilton. November, 1994. Details \| BibTeX

[22]

An Introduction to the Theory of Lists

Richard S. Bird

In M. Broy, editor, Logic of Programming and Calculi of Discrete Design. Pages 3–42. Springer−Verlag. 1987.

NATO ASI Series F Volume 36. Also available as Technical Monograph PRG−56‚ from the Programming Research Group‚ Oxford University

Details | BibTeX

[23]	An Unbounded Spigot Algorithm for the Digits of π Jeremy Gibbons In American Mathematical Monthly. Vol. 113. No. 4. Pages 318−328. 2006. Details \| BibTeX

[24]	Arithmetic Coding with Folds and Unfolds Richard Bird and Jeremy Gibbons In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003. Details \| BibTeX

[25]

Arithmetic Coding with Folds and Unfolds

Richard Bird and Jeremy Gibbons

In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003.

Code available at http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip

Details | BibTeX

[26]	Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting Oege de Moor and Jeremy Gibbons In Science of Computer Programming. Vol. 35. No. 1. 1999. Details \| BibTeX

[27]	Calculating Functional Programs Jeremy Gibbons In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 148–203. Springer−Verlag. 2002. Details \| BibTeX

[28]	Calculating Functional Programs Jeremy Gibbons In Keiichi Nakata, editor, Proceedings of ISRG/SERG Research Colloquium. School of Computing and Mathematical Sciences‚ Oxford Brookes University. November, 1997. Technical Report CMS−TR−98−01 Details \| BibTeX

[29]	Church numerals‚ twice! Ralf Hinze No. IAI−TR−2002−3. Institut für Informatik III‚ Universität Bonn. February, 2002. Details \| BibTeX

[30]	Combining Generics and Dynamics Peter Achten and Ralf Hinze No. NIII−R0206. Nijmegen Institute for Computing and Information Sciences‚ University of Nijmegen. July, 2002. Details \| BibTeX

[31]

Comparing Approaches to Generic Programming in Haskell

Ralf Hinze‚ Johan Jeuring and Andres Löh

In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Pages 72−149. Springer Berlin / Heidelberg. 2007.

To appear

Details | BibTeX | DOI (10.1007/978-3-540-76786-2_2)

[32]	Comparing Datatype Generic Libraries in Haskell Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov In Journal of Functional Programming. 2009. Revised version of the Haskell Symposium 2008 paper Details \| BibTeX

[33]	Comparing Libraries for Generic Programming in Haskell Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov In Haskell Symposium. 2008. Details \| BibTeX

[34]	Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons In Theoretical Computer Science. Vol. 169. No. 1. Pages 67–80. 1996. Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference‚ Brisbane‚ 1993 Details \| BibTeX

[35]	Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons In Gopal Gupta‚ George Mohay and Rodney Topor, editors, 16th Australian Computer Science Conference. Pages 685–691. Brisbane. February, 1993. Details \| BibTeX

[36]	Conditionals in Distributive Categories Jeremy Gibbons No. CMS−TR−97−01. School of Computing and Mathematical Sciences‚ Oxford Brookes University. January, 1997. Details \| BibTeX

[37]

Constructing Red−Black Trees

Ralf Hinze

In Chris Okasaki, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99). Pages 89–99. September, 1999.

The proceedings appeared as a technical report of Columbia University‚ CUCS−023−99

Details | BibTeX

[38]	Constructing Red−Black Trees Ralf Hinze No. IAI−TR−99−6. Institut für Informatik III‚ Universität Bonn. May, 1999. Details \| BibTeX

[39]	Constructing tournament representations: An exercise in pointwise relational programming Ralf Hinze No. IAI−TR−2002−2. Institut für Informatik III‚ Universität Bonn. February, 2002. Details \| BibTeX

[40]	Countdown: A Case Study in Origami Programming Richard S. Bird and Shin−Cheng Mu In Journal of Functional Programming. Vol. 15. No. 5. Pages 679−702. 2005. Details \| BibTeX \| DOI (10.1017/S0956796805005642)

[41]	Creating transformations for matrix obfuscation Stephen Drape and Irina Voiculescu In Proceedings of SAS 2009. August, 2009. Details \| BibTeX \| Download (pdf) \| DOI (10.1007/978-3-642-03237-0_19)

[42]	Datatype−Generic Programming Jeremy Gibbons In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Spring School on Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Springer−Verlag. 2007. Details \| BibTeX

[43]	Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung Armin B. Cremers‚ Ulrike Griefahn and Ralf Hinze Vieweg , AddressBraunschweig/Wiesbaden. 1994. Details \| BibTeX

[44]

Derivable Type Classes

Ralf Hinze and Simon Peyton Jones

In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop. Vol. 41(1) of Electronic Notes in Theoretical Computer Science. Pages 5−35. Elsevier Science. August, 2001.

The preliminary proceedings appeared as a University of Nottingham technical report

Details | BibTeX | DOI (10.1016/S1571-0661(05)80542-0)

[45]	Derivation of a Typed Functional LR Parser Ralf Hinze and Ross Paterson 2003. in preparation Details \| BibTeX

[46]	Deriving Tidy Drawings of Trees Jeremy Gibbons In Journal of Functional Programming. Vol. 6. No. 3. Pages 535–562. 1996. Details \| BibTeX

[47]	Deriving monad transformers Ralf Hinze No. IAI−TR−99−1. Institut für Informatik III‚ Universität Bonn. January, 1999. Details \| BibTeX

[48]	Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006. Details \| BibTeX

[49]	Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In Object−Oriented Programming: Systems‚ Languages‚ Applications. San Diego. October, 2005. A revision of Gibbons2005:DesignECOOP Details \| BibTeX

[50]	Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In European Conference on Object−Oriented Programming. Glasgow. July, 2005. Later version appears as Gibbons2005:DesignOOPSLA Details \| BibTeX

[51]	Design and Evaluation of Slicing Obfuscations Stephen Drape and Anirban Majumdar No. 311. CDMTCS‚ The University of Auckland. Auckland‚ New Zealand. June, 2007. Details \| BibTeX \| Download (pdf)

[52]	Die Rolle der mathematischen Logik in der Künstlichen Intelligenz Armin B. Cremers‚ Elmar Eder and Ralf Hinze In Künstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit‚ Band 1: Diskussionsgrundlage. Verein Deutscher Ingenieure. 1993. Details \| BibTeX

[53]	Disciplined‚ efficient‚ generalised folds for nested datatypes Clare Martin‚ Jeremy Gibbons and Ian Bayley In Formal Aspects of Computing. Vol. 16. No. 1. Pages 19−35. 2004. Details \| BibTeX

[54]	EffectiveAdvice: Disciplined Advice with Explicit Effects Tom Schrijvers Bruno C. d. S. Oliveira and William R. Cook In ACM SIG Proceedings of the 9th International Conference on Aspect−Oriented Software Development (AOSD). 2010. Details \| BibTeX

[55]	Efficient Generalized Folds Ralf Hinze No. IAI−TR−99−8. Institut für Informatik III‚ Universität Bonn. June, 1999. Details \| BibTeX

[56]	Efficient Monadic−style Backtracking Ralf Hinze No. IAI−TR−96−9. Institut für Informatik III‚ Universität Bonn. October, 1996. Details \| BibTeX

[57]	Efficient Parallel Algorithms for Tree Accumulations Jeremy Gibbons‚ Wentong Cai and David Skillicorn In Science of Computer Programming. Vol. 23. Pages 1–18. 1994. Details \| BibTeX

[58]	Einführung in die funktionale Programmierung − Sprachen‚ Spezifikationen‚ Grundlagen‚ Implementierung R. Hinze 1992. Vorlesungsskript SS 92‚ Universität Bonn‚ Institut für Informatik III Details \| BibTeX

[59]	Einführung in die funktionale Programmierung mit Miranda Ralf Hinze B.G. Teubner , AddressStuttgart. 1992. Details \| BibTeX

[60]	Enumerating the Rationals Jeremy Gibbons‚ David Lester and Richard Bird In Journal of Functional Programming. Vol. 16. No. 3. Pages 281−292. 2006. Details \| BibTeX

[61]	Enumerating the Rationals Jeremy Gibbons‚ David Lester and Richard Bird In Journal of Functional Programming. Vol. 16. No. 4. 2006. Details \| BibTeX

[62]	Extensible and Modular Generics for the Masses Ralf Hinze Bruno C. d. S. Oliveira and Andres Loeh In Henrik Nilsson, editor, Trends in Functional Programming. 2007. Best student paper award Details \| BibTeX

[63]	Fast and Loose Reasoning is Morally Correct Nils Anders Danielsson‚ Jeremy Gibbons‚ John Hughes and Patrik Jansson In Principles of Programming Languages. Pages 206−217. January, 2006. Details \| BibTeX

[64]	Fifteen Years of Functional Pearls Richard S. Bird In John H. Reppy and Julia L. Lawall, editors, International Conference on Functional Programming. Pages 215. 2006. Details \| BibTeX \| DOI (10.1145/1159803.1159832)

[65]	Finding Celebrities: A Lesson in Functional Programming Richard S. Bird and Sharon Curtis In Journal of Functional Programming. Vol. 16. No. 1. Pages 13−20. 2006. Details \| BibTeX \| DOI (10.1017/S0956796805005678)

[66]	First−Class Phantom Types James Cheney and Ralf Hinze Cornell University. 2003. Details \| BibTeX

[67]	Fission for Program Comprehension Jeremy Gibbons In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 162−179. Springer−Verlag. 2006. Details \| BibTeX

[68]	Formal Derivation of a Pattern Matching Algorithm Richard S. Bird‚ Jeremy Gibbons and Geraint Jones In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989. Details \| BibTeX \| DOI (10.1016/0167-6423(89)90036-1)

[69]	Formal Derivation of a Pattern Matching Algorithm Richard S. Bird‚ Jeremy Gibbons and Geraint Jones In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989. Details \| BibTeX

[70]

From Dynamic Programming to Greedy Algorithms

Richard S. Bird and Oege de Moor

In Bernhard Möller‚ Helmut Partsch and Steve Schumann, editors, IFIP TC2/WG2.1 State−of−the−Art Report on Formal Program Development. Vol. 755 of Lecture Notes in Computer Science. Springer−Verlag. 1993.

Details | BibTeX | DOI (10.1007/3-540-57499-9_16)

[71]	Fun with phantom types Ralf Hinze In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 245−262. Palgrave Macmillan. 2003. ISBN 1−4039−0772−2 hardback‚ ISBN 0−333−99285−7 paperback Details \| BibTeX

[72]	Functional Algorithm Design Richard S. Bird In Science of Computer Programming. Vol. 26. No. 1−3. Pages 15–31. 1996. Details \| BibTeX \| DOI (10.1016/0167-6423(95)00033-X)

[73]	Functional Algorithm Design Richard S. Bird In Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 2−17. Springer. 1995. Details \| BibTeX \| DOI (10.1007/3-540-60117-1_2)

[74]	Functional Cryptography Stephen Drape Master's Thesis 2001. Details \| BibTeX \| Download (pdf)

[75]	Functional Quantum Programming Shin−Cheng Mu and Richard Bird In Asian Workshop on Programming Languages and Systems. KAIST‚ Dajeaon‚ Korea. December, 2001. Details \| BibTeX

[76]	Generalised Folds for Nested Datatypes Richard Bird and Ross Paterson In Formal Aspects of Computing. Vol. 11. Pages 200–222. 1999. Details \| BibTeX

[77]	Generalising the Array Split Obfuscation Stephen Drape In Information Sciences. Vol. 177. No. 1. Pages 202–219. January, 2007. Details \| BibTeX \| DOI (10.1016/j.ins.2006.03.012)

[78]	Generalizing Generalized Tries Ralf Hinze No. IAI−TR−98−11. Institut für Informatik III‚ Universität Bonn. November, 1998. Details \| BibTeX

[79]	Generic Downwards Accumulations Jeremy Gibbons In Science of Computer Programming. Vol. 37. Pages 37–65. 2000. Details \| BibTeX

[80]	Generic Functional Programming with Types and Relations Richard Bird‚ Oege de Moor and Paul Hoogendijk In Journal of Functional Programming. Vol. 6. No. 1. Pages 1–28. 1996. Details \| BibTeX

[81]	Generic Programming Jeremy Gibbons and Johan Jeuring, editors Jeremy Gibbons and Johan Jeuring, editors Proceedings of the IFIP TC2 Working Conference on Generic Programming‚ Schloß Dagstuhl‚ July 2002. ISBN 1−4020−7374−7. Details \| BibTeX

[82]	Generic Programming in 3D Ralf Hinze and Andres Löh In Science of Computer Programming. 2007. to appear Details \| BibTeX

[83]

Generic Programming‚ Now!

Ralf Hinze and Andres Löh

In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Pages 150−208. Springer Berlin / Heidelberg. 2007.

Details | BibTeX | DOI (10.1007/978-3-540-76786-2_3)

[84]	Generic and Indexed Programming Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. Details \| BibTeX

[85]	Genericity‚ extensibility and type−safety in the Visitor pattern Bruno C. d. S. Oliveira PhD Thesis 2007. Details \| BibTeX \| Download (pdf)

[86]	Generics as a Library Bruno C. d. S. Oliveira‚ Ralf Hinze and Andres Löh In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06). Intellect. 2006. Details \| BibTeX

[87]

Gradual Refinement: Blending Pattern Matching with Data Abstraction

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010.

See revised journal version "Refactoring Pattern Matching"

Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-13321-3_22)

[88]

How to Derive Tidy Drawings of Trees

Jeremy Gibbons

In C. Calude‚ M. J. J. Lennon and H. Maurer, editors, Proceedings of Salodays in Auckland. Pages 53–73. Department of Computer Science‚ University of Auckland. 1994.

Also in Proceedings of First New Zealand Formal Program Development Colloquium‚ 105–126p‥

Details | BibTeX

[89]	Hybrid Dynamic Programming Richard Bird and Oege de Moor 1994. Programming Research Group‚ Oxford Details \| BibTeX

[90]	IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi Richard S. Bird and Lambert G. L. T. Meertens, editors Richard S. Bird and Lambert G. L. T. Meertens, editors Details \| BibTeX

[91]	Improving Programs by the Introduction of Recursion Richard S. Bird In Communications of the ACM. Vol. 20. No. 11. Pages 856–863. November, 1977. Details \| BibTeX \| DOI (10.1145/359863.359889)

[92]	Improving Saddleback Search: A Lesson in Algorithm Design Richard S. Bird In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 82−89. Springer. 2006. Details \| BibTeX \| DOI (10.1007/11783596_8)

[93]	Integers with Given Initial Digits Richard Bird In American Mathematical Monthly. Vol. 79. Pages 367−370. 1972. Details \| BibTeX

[94]	Integrated Formal Methods Jim Davies and Jeremy Gibbons, editors Jim Davies and Jeremy Gibbons, editors Details \| BibTeX

[95]	Intellectual Property Protection using Obfuscation Stephen Drape No. RR−10−02. March, 2010. Details \| BibTeX \| Download (pdf)

[96]	Introduction to Functional Programming Using Haskell Richard S. Bird Prentice−Hall. 1998. Details \| BibTeX

[97]	Inverting Functions as Folds Shin−Cheng Mu and Richard S. Bird In Eerke A. Boiten and Bernhard Möller, editors, Mathematics of Program Construction. Vol. 2386 of Lecture Notes in Computer Science. Pages 209−232. Springer. 2002. Details \| BibTeX

[98]	Inverting the Burrows−Wheeler Transform Richard S. Bird and Shin−Cheng Mu In Journal of Functional Programming. Vol. 14. No. 6. Pages 603−612. 2004. Earlier version appeared at Haskell Workshop 2001 Details \| BibTeX \| DOI (10.1017/S0956796804005118)

[99]	Knuth's Problem Richard S. Bird In B. Möller, editor, IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications. Pages 1–8. North−Holland. 1991. Details \| BibTeX

[100]

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Jeremy Gibbons

March, 1999.

Estonian Winter School on Computer Science

Details | BibTeX

[101]

Lectures on Constructive Functional Programming

Richard S. Bird

In Manfred Broy, editor, Constructive Methods in Computer Science. Pages 151–218. Springer−Verlag. 1988.

NATO ASI Series F Volume 55. Also available as Technical Monograph PRG−69‚ from the Programming Research Group‚ Oxford University

Details | BibTeX

[102]

Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips

Geraint Jones and Jeremy Gibbons

No. 7No.1. Dept of Computer Science‚ University of Auckland. May, 1993.

Also IFIP Working Group 2.1 working paper 705 WIN−2

Details | BibTeX

[103]

List Partitions

Richard S. Bird and Oege de Moor

In Formal Aspects of Computing. Vol. 5. Pages 61–78. 1993.

Details | BibTeX | DOI (10.1007/BF01211316)

[104]

Loopless Functional Algorithms

Richard S. Bird

In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 90−114. Springer. 2006.

Details | BibTeX | DOI (10.1007/11783596_9)

[105]

Manufacturing Datatypes

Ralf Hinze

In Chris Okasaki, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99). Pages 1–16. September, 1999.

The proceedings appeared as a technical report of Columbia University‚ CUCS−023−99‚ also available from http://www.cs.columbia.edu/ cdo/waaapl.html

Details | BibTeX

[106]

Manufacturing Datatypes

Ralf Hinze

No. IAI−TR−99−5. Institut für Informatik III‚ Universität Bonn. April, 1999.

Details | BibTeX

[107]

Manufacturing datatypes

Ralf Hinze

In JFP. Vol. 11. No. 5. Pages 493−524. September, 2001.

Details | BibTeX | DOI (10.1017/S095679680100404X)