Algebra of Programming: Publications

[1]	Translucent Abstraction: Safe Views through Invertible Programming (Extended version) Meng Wang, Jeremy Gibbons, Kazutaka Matsuda 2009. Details \| BibTeX \| Download (pdf)

[2]	Parametric Datatype-Genericity Jeremy Gibbons, Ross Paterson In Workshop on Generic Programming Edinburgh. August 2009. Details \| BibTeX \| Link (pdf)

[3]	The Essence of the Iterator Pattern Jeremy Gibbons, Bruno CÃ©sar dos Santos Oliveira Journal of Functional Programming, Vol. 19, No. 3&4, pages 377-402. 2009. Revised version of Gibbons&Oliveira2006:Essence. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796809007291)

[4]	Zippy Tabulations of Recursive Functions Richard S. Bird In Philippe Audebaud, Christine Paulin-Mohring, editors, Mathematics of Program Construction Vol. 5133 of Lecture Notes in Computer Science, pages 92-109. Springer, 2008. Details \| BibTeX \| DOI (10.1007/978-3-540-70594-9_7)

[5]	Unfolding Abstract Datatypes Jeremy Gibbons In Mathematics of Program Construction July 2008. Details \| BibTeX \| Link (pdf)

[6]	The Visitor Pattern as a Reusable, Generic, Type-Safe Component Bruno C. d. S. Oliveira, Meng Wang and Jeremy Gibbons In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA) 2008. Details \| BibTeX \| Link (pdf)

[7]	Scala for Generic Programmers Bruno Oliveira, Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming Victoria, BC. September 2008. Details \| BibTeX \| Link (pdf)

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

[9]	Generic Programming, Now! Hinze, Ralf, Löh, Andres In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS, pages 150—208. Springer. 2007. To appear. Details \| BibTeX

[10]	Comparing Approaches to Generic Programming Hinze, Ralf, Jeuring, Johan and Löh, Andres In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS. Springer. 2007. To appear. Details \| BibTeX

[11]	Minimal On-line List Labelling Richard S. Bird, Stefan Sadnicki Information Processing Letters, Vol. 101, No. 1, pages 41-45. 2007. Details \| BibTeX

[12]	Metamorphisms: Streaming Representation-Changers Jeremy Gibbons Science of Computer Programming, Vol. 65, pages 108-139. 2007. Details \| BibTeX \| Link (pdf)

[13]	Spring School on Datatype-Generic Programming Roland Backhouse et al. , editors Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag. 2007. Details \| BibTeX \| Link (pdf)

[14]	Report on Fourth Workshop on Commercial Users of Functional Programming Jeremy Gibbons December 2007. Details \| BibTeX \| Link (pdf)

[15]	Integrated Formal Methods Jim Davies, Jeremy Gibbons, editors Vol. 4591 of Lecture Notes in Computer Science. Springer-Verlag. 2007. Details \| BibTeX \| Link (pdf)

[16]	Generic and Indexed Programming Jeremy Gibbons, Meng Wang and Bruno César dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming 2007. Details \| BibTeX \| Link (pdf)

[17]	Datatype-Generic Programming Jeremy Gibbons In Roland Backhouse et al. , editors, Spring School on Datatype-Generic Programming Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag, 2007. Details \| BibTeX \| Link (pdf)

[18]	Generics for the masses Hinze, Ralf J. Functional Programming, Vol. 16, No. 4 \& 5, pages 451—483. 2006. Details \| BibTeX

[19]

Typed Contracts for Functional Programming

Hinze, Ralf, Jeuring, Johan and Löh, Andres

In Wadler, Philip, Hagiya, Masami, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan Vol. 3945 of LNCS, pages 208-225. Springer, April 2006.

Details | BibTeX

[20]	Open data types and open functions Löh, Andres, Hinze, Ralf In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy pages 133-144. ACM-Press, July 2006. Details \| BibTeX

[21]	Open data types and open functions Hinze, Ralf, Löh, Andres No. IAI-TR-2006-3, Technical Report, Institut für Informatik III, Universität Bonn. February 2006. Details \| BibTeX

[22]	Generics as a Library Oliveira, Bruno C. d. S., Hinze, Ralf and Löh, Andres In Nilsson, Henrik, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming, April 19—21, 2006, Nottingham, UK 2006. Details \| BibTeX

[23]	``Scrap Your Boilerplate'' Revolutions Hinze, Ralf, Löh, Andres In Uustalu, Tarmo, editor, 8th International Conference on Mathematics of Program Construction (MPC '06) Vol. 4014 of LNCS, pages 180-208. Springer, July 2006. Details \| BibTeX

[24]

``Scrap Your Boilerplate'' Reloaded

Hinze, Ralf, Löh, Andres and Oliveira, Bruno C.d.S.

In Wadler, Philip, Hagiya, Masimi, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan Vol. 3945 of LNCS, pages 13-29. Springer, April 2006.

Details | BibTeX

[25]	``Scrap Your Boilerplate'' Reloaded Hinze, Ralf, Löh, Andres and Oliveira, Bruno C.d.S. No. IAI-TR-2006-2, Technical Report, Institut für Informatik III, Universität Bonn. January 2006. Details \| BibTeX

[26]	Finding Celebrities: A Lesson in Functional Programming Richard S. Bird, Sharon Curtis Journal of Functional Programming, Vol. 16, No. 1, pages 13-20. 2006. Details \| BibTeX \| DOI (10.1017/S0956796805005678)

[27]	Enumerating the Rationals Jeremy Gibbons, David Lester and Richard Bird Journal of Functional Programming, Vol. 16, No. 3, pages 281-292. 2006. Details \| BibTeX \| Link (pdf)

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

[29]	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)

[30]	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)

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

[32]	Enumerating the Rationals Jeremy Gibbons, David Lester and Richard Bird Journal of Functional Programming, Vol. 16, No. 4, 2006. Details \| BibTeX \| Link (pdf)

[33]	An Unbounded Spigot Algorithm for the Digits of π Jeremy Gibbons American Mathematical Monthly, Vol. 113, No. 4, pages 318-328. 2006. Details \| BibTeX \| Link (pdf)

[34]	The Essence of the Iterator Pattern Jeremy Gibbons, Bruno César dos Santos Oliveira In Conor McBride, Tarmo Uustalu, editors, Mathematically-Structured Functional Programming 2006. Superseded by Gibbons&Oliveira2008:Essence. Details \| BibTeX \| Link (pdf)

[35]	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 \| Link (pdf)

[36]	Fast and Loose Reasoning is Morally Correct Nils Anders Danielsson et al. In Principles of Programming Languages pages 206-217. January 2006. Details \| BibTeX \| Link (pdf)

[37]	Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming September 2006. Details \| BibTeX \| Link (pdf)

[38]	Theoretical Pearl: Church numerals, twice! Hinze, Ralf J. Functional Programming, Vol. 15, No. 1, pages 1—13. January 2005. Details \| BibTeX

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

[40]	Polymorphic String Matching Richard S. Bird In Haskell Workshop pages 110—115. New York, NY, USA. 2005. ACM Press. Details \| BibTeX \| DOI (10.1145/1088348.1088359)

[41]	Proof Methods for Corecursive Programs Jeremy Gibbons, Graham Hutton Fundamenta Informaticae, Vol. 66, No. 4, pages 353-366. 2005. Details \| BibTeX \| Link (pdf)

[42]	TypeCase: A Design Pattern for Type-Indexed Functions Bruno César dos Santos Oliveira, Jeremy Gibbons In Daan Leijen, editor, Haskell Workshop pages 98-109. 2005. Details \| BibTeX \| Link (pdf)

[43]	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 \| Link

[44]	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 \| Link (html)

[45]	Type-indexed data types Hinze, Ralf, Jeuring, Johan and Löh, Andres Science of Computer Programming, Vol. 51, pages 117-151. 2004. Details \| BibTeX

[46]	Generics for the masses Hinze, Ralf In Fisher, Kathleen, editor, Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19—22, 2004 pages 236-243. ACM-Press, September 2004. Details \| BibTeX

[47]	An algebra of scans Hinze, Ralf In Kozen, Dexter, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12—14, 2004 Vol. 3125 of LNCS. Springer, July 2004. Details \| BibTeX

[48]	Theory and Applications of Inverting Functions as Folds Shin-Cheng Mu, Richard S. Bird Science of Computer Programming, Vol. 51, No. 1-2, pages 87-116. 2004. Details \| BibTeX \| DOI (10.1016/j.scico.2003.09.003)

[49]	On Tiling a Chessboard Richard S. Bird Journal of Functional Programming, Vol. 14, No. 6, pages 613-622. 2004. Details \| BibTeX \| DOI (10.1017/S095679680400512X)

[50]	Inverting the Burrows-Wheeler Transform Richard S. Bird, Shin-Cheng Mu Journal of Functional Programming, Vol. 14, No. 6, pages 603-612. 2004. Earlier version appeared at Haskell Workshop 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796804005118)

[51]	Disciplined, efficient, generalised folds for nested datatypes Clare Martin, Jeremy Gibbons and Ian Bayley Formal Aspects of Computing, Vol. 16, No. 1, pages 19-35. 2004. Details \| BibTeX \| Link (pdf)

[52]	Streaming Representation-Changers Jeremy Gibbons In Dexter Kozen, editor, Mathematics of Program Construction Vol. 3125 of Lecture Notes in Computer Science, pages 142-168. July 2004. http://www.springerlink.com/index/LHQ73WU5GU686976 Details \| BibTeX \| Link (pdf)

[53]	Functional Pearl: Formatting: a class act Hinze, Ralf J. Functional Programming, Vol. 13, No. 5, pages 935—944. September 2003. Details \| BibTeX

[54]	Generic Haskell: Practice and Theory Hinze, Ralf, Jeuring, Johan In Backhouse, Roland, Gibbons, Jeremy, editors, Generic Programming: Advanced Lectures Vol. 2793 of LNCS, pages 1—56. Springer. 2003. Details \| BibTeX

[55]	Generic Haskell: Applications Hinze, Ralf, Jeuring, Johan In Backhouse, Roland, Gibbons, Jeremy, editors, Generic Programming: Advanced Lectures Vol. 2793 of LNCS, pages 57—97. Springer. 2003. Details \| BibTeX

[56]	Generic Haskell: Practice and Theory Hinze, Ralf, Jeuring, Johan No. UU-CS-2003-15, Technical Report, Universiteit Utrecht. 2003. Details \| BibTeX

[57]	Generic Haskell: Applications Hinze, Ralf, Jeuring, Johan No. UU-CS-2003-16, Technical Report, Universiteit Utrecht. 2003. Details \| BibTeX

[58]	Functional Pearl: Trouble Shared is Trouble Halved Bird, Richard, Hinze, Ralf In Jeuring, Johan, editor, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop pages 1—6. ACM-Press, September 2003. Details \| BibTeX

[59]	Fun with phantom types Hinze, Ralf In Gibbons, Jeremy, de Moor, Oege, 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

[60]	First-Class Phantom Types Cheney, James, Hinze, Ralf Technical Report, Cornell University. 2003. Details \| BibTeX

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

[62]	Trouble Shared is Trouble Halved Richard Bird, Ralf Hinze In Haskell Workshop pages 1—6. New York, NY, USA. 2003. ACM Press. Details \| BibTeX \| DOI (10.1145/871895.871896)

[63]	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion Shin-Cheng Mu, Richard S. Bird In Atsushi Ohori, editor, Asian Symposium on Programming Languages and Systems Vol. 2895 of Lecture Notes in Computer Science, pages 265-282. Springer, 2003. Details \| BibTeX \| Link (pdf)

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

[65]	The Fun of Programming Jeremy Gibbons, Oege de Moor, editors Palgrave. 2003. ISBN 1-4039-0772-2. Details \| BibTeX \| Link (pdf)

[66]	Summer School on Generic Programming Roland Backhouse, Jeremy Gibbons, editors Vol. 2793 of Lecture Notes in Computer Science. Springer-Verlag. 2003. Details \| BibTeX \| Link (pdf)

[67]

Patterns in Datatype-Generic Programming

Jeremy Gibbons

In Jörg Striegnitz, Kei Davis, editors, Multiparadigm Programming Vol. 27, pages 277-289. John von Neumann Institute for Computing (NIC), 2003.

First International Workshop on Declarative Programming in the Context of Object-Oriented Languages (DPCOOL).

Details | BibTeX | Link (pdf)

[68]	Origami Programming Jeremy Gibbons In Jeremy Gibbons, Oege de Moor, editors, The Fun of Programming pages 41-60. Palgrave. 2003. Details \| BibTeX \| Link (pdf)

[69]	Generic Programming Jeremy Gibbons, Johan Jeuring, editors Kluwer Academic Publishers. 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloß Dagstuhl, July 2002. ISBN 1-4020-7374-7. Details \| BibTeX \| Link (pdf)

[70]

Arithmetic Coding with Folds and Unfolds

Richard Bird, Jeremy Gibbons

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

Code available at http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/arith.zip

Details | BibTeX | Link (pdf)

[71]	Polytypic values possess polykinded types Hinze, Ralf Science of Computer Programming, Vol. 43, pages 129-159. 2002. Details \| BibTeX

[72]	Functional Pearl: A fresh look at binary search trees Hinze, Ralf J. Functional Programming, Vol. 12, No. 6, pages 601—607. November 2002. Details \| BibTeX

[73]

Type-indexed data types

Hinze, Ralf, Jeuring, Johan and Löh, Andres

In Boiten, Eerke A., Möller, Bernhard, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002 Vol. 2386 of LNCS, pages 148—174. Springer, July 2002.

Details | BibTeX

[74]	Type-indexed data types Hinze, Ralf, Jeuring, Johan and Löh, Andres No. UU-CS-2002-11, Technical Report, Universiteit Utrecht. 2002. Details \| BibTeX

[75]

Constructing tournament representations: An exercise in pointwise relational programming

Hinze, Ralf

Details | BibTeX

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

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

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

[79]	Bootstrapping One-sided Flexible Arrays Hinze, Ralf In Peyton Jones, Simon, editor, Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4—6, 2002 pages 01/02/13. ACM-Press, October 2002. Details \| BibTeX

[80]	A Lightweight Implementation of Generics and Dynamics Cheney, James, Hinze, Ralf In Chakravarty, Manuel M.T., editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop pages 90-104. ACM-Press, October 2002. Details \| BibTeX

[81]	Inverting Functions as Folds Shin-Cheng Mu, Richard S. Bird In Eerke A. Boiten, Bernhard Möller, editors, Mathematics of Program Construction Vol. 2386 of Lecture Notes in Computer Science, pages 209-232. Springer, 2002. Details \| BibTeX \| Link (pdf)

[82]

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 | Link (pdf)

[83]	Towards a Colimit-Based Semantics for Visual Programming Jeremy Gibbons In Coordination Models and Languages Vol. 2315 of Lecture Notes in Computer Science, pages 166—173. April 2002. Details \| BibTeX \| Link (pdf)

[84]

Calculating Functional Programs

Jeremy Gibbons

Details | BibTeX | Link (pdf)

[85]

Algebraic Methods for Optimization Problems

Richard Bird, Jeremy Gibbons and Shin Cheng Mu

Details | BibTeX | Link (pdf)

[86]	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 \| Link (pdf)

[87]	Manufacturing Datatypes Hinze, Ralf Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages, Vol. 11, No. 5, pages 493—524. September 2001. Details \| BibTeX

[88]	Functional Pearl: Weaving a Web Hinze, Ralf, Jeuring, Johan Journal of Functional Programming, Vol. 11, No. 6, pages 681—689. November 2001. Details \| BibTeX

[89]	Polytypic Programming With Ease Hinze, Ralf Journal of Functional and Logic Programming, Vol. 2001, No. 3, July 2001. Details \| BibTeX

[90]	Prolog's Control Constructs in a Functional Setting —- Axioms and Implementation Hinze, Ralf International Journal of Foundations of Computer Science, Vol. 12, No. 2, pages 125-170. 2001. Details \| BibTeX

[91]	The Generic Haskell user's guide Clarke, Dave et al. No. UU-CS-2001-26, Technical Report, Universiteit Utrecht. November 2001. Details \| BibTeX

[92]	Functional Pearl: Weaving a Web Hinze, Ralf No. UU-CS-2001-33, Technical Report, Universiteit Utrecht. 2001. Details \| BibTeX

[93]

Derivable Type Classes

Hinze, Ralf, Peyton Jones, Simon

In Hutton, Graham, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop Vol. 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001.

The preliminary proceedings appeared as a University of Nottingham technical report.

Details | BibTeX

[94]	A Simple Implementation Technique for Priority Search Queues Hinze, Ralf In Leroy, Xavier, editor, Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001 pages 110—121. September 2001. Details \| BibTeX

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

[96]	Unfolding Pointer Algorithms Richard S. Bird Journal of Functional Programming, Vol. 11, No. 3, pages 347-358. 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796801003914)

[97]	Maximum Marking Problems Richard S. Bird Journal of Functional Programming, Vol. 11, No. 4, pages 411-424. 2001. Details \| BibTeX \| Link (pdf) \| DOI (10.1017/S0956796801004038)

[98]	Functional Quantum Programming Shin-Cheng Mu, Richard Bird In Asian Workshop on Programming Languages and Systems KAIST, Dajeaon, Korea. December 2001. Details \| BibTeX \| Link (pdf)

[99]	The Generic Approximation Lemma Graham Hutton, Jeremy Gibbons Information Processing Letters, Vol. 79, No. 4, pages 197—201. August 2001. Details \| BibTeX \| Link (ps.gz)

[100]

On the Semantics of Nested Datatypes

Clare Martin, Jeremy Gibbons

Information Processing Letters, Vol. 80, No. 5, pages 233—238. December 2001.

Details | BibTeX | Link (ps.gz)

[101]

When is a Function a Fold or an Unfold?

Jeremy Gibbons, Graham Hutton and Thorsten Altenkirch

Electronic Notes in Theoretical Computer Science, Vol. 44, No. 1, April 2001.

Proceedings of Coalgebraic Methods in Computer Science.

Details | BibTeX | Link (ps.gz)

[102]

Functional Pearl: Perfect trees and bit-reversal permutations

Hinze, Ralf

Journal of Functional Programming, Vol. 10, No. 3, pages 305—317. May 2000.

Details | BibTeX

[103]

Generalizing Generalized Tries

Hinze, Ralf

Journal of Functional Programming, Vol. 10, No. 4, pages 327—351. July 2000.

Details | BibTeX

[104]

Polytypic values possess polykinded types

Hinze, Ralf

In Backhouse, Roland, Oliveira, J.N., editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000 Vol. 1837 of LNCS, pages 2—27. Springer, July 2000.

Details | BibTeX

[105]

Memo functions, polytypically!

Hinze, Ralf

In Jeuring, Johan, editor, Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal pages 17—32. July 2000.

The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19.

Details | BibTeX

[106]

Efficient Generalized Folds

Hinze, Ralf

In Jeuring, Johan, editor, Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal pages 1—16. July 2000.

The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19.

Details | BibTeX

[107]

Deriving Backtracking Monad Transformers

Hinze, Ralf

In Wadler, Phil, editor, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000 pages 186—197. September 2000.

Details | BibTeX

[108]

A New Approach to Generic Functional Programming

Hinze, Ralf

In Reps, Thomas W., editor, Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21 pages 119—132. January 2000.

Details | BibTeX

[109]

Program Optimisation, Naturally

Richard Bird, Jeremy Gibbons and Geraint Jones

In J. W. Davies, A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science Palgrave, 2000.

Details | BibTeX | Link (ps.gz)

[110]

On Building Trees with Minimum Height, Relationally

Shin-Cheng Mu, Richard Bird

In First Asian Workshop on Programming Languages and Systems 2000.

Details | BibTeX | Link (pdf)

[111]

Generic Downwards Accumulations

Jeremy Gibbons

Science of Computer Programming, Vol. 37, pages 37—65. 2000.

Details | BibTeX | Link (ps.gz)

[112]

Program Optimisation, Naturally

Richard Bird, Jeremy Gibbons and Geraint Jones

In J. W. Davies, A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science Palgrave, 2000.

Details | BibTeX | Link (ps.gz)

[113]

Pointwise Relational Programming

Oege de Moor, Jeremy Gibbons

In Algebraic Methodology and Software Technology Vol. 1816 of Lecture Notes in Computer Science, pages 371—390. May 2000.

Details | BibTeX | Link (ps.gz)

[114]

Functional Pearl: Explaining Binomial Heaps

Hinze, Ralf

Journal of Functional Programming, Vol. 9, No. 1, pages 93—104. January 1999.

Details | BibTeX

[115]

Book review: ``Purely Functional Data Structures'', by Chris Okasaki

Hinze, Ralf

Journal of Functional Programming, Vol. 9, No. 5, pages 577—578. September 1999.

Details | BibTeX

[116]

Polytypic Functions Over Nested Datatypes

Hinze, Ralf

Discrete Mathematics and Theoretical Computer Science, Vol. 3, No. 4, pages 193—214. September 1999.

Details | BibTeX

[117]

Haskell 98 —- A Non-strict, Purely Functional Language

Peyton Jones [editor], Simon et al.

Available from http://www.haskell.org/definition/ February 1999.

Details | BibTeX

[118]

Straight to the Heart of Computer Science via Functional Programming

Giegerich, Robert, Hinze, Ralf and Kurtz, Stefan

In Felleisen, Matthias, Hanus, Michael and Thompson, Simon, editors, Proceedings of the Workshop on Functional and Declarative Programming in Education, FDPE'99, Paris, France pages 1—5. September 1999.

The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346.

Details | BibTeX

[119]

Standard Libraries for the Haskell 98 Programming Language

Peyton Jones [editor], Simon et al.

Available from http://www.haskell.org/definition/ February 1999.

Details | BibTeX

[120]

Polytypic values possess polykinded types

Hinze, Ralf

No. IAI-TR-99-15, Technical Report, Institut für Informatik III, Universität Bonn. December 1999.

Details | BibTeX

[121]

Polytypic Programming With Ease (Extended Abstract)

Hinze, Ralf

In Middeldorp, Aart, Sato, Taisuke, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan Vol. 1722 of LNCS, pages 21—36. Springer, November 1999.

Details | BibTeX

[122]

Polytypic Programming With Ease

Hinze, Ralf

No. IAI-TR-99-2, Technical Report, Institut für Informatik III, Universität Bonn. February 1999.

Details | BibTeX

[123]

Polytypic Functions Over Nested Datatypes (Extended Abstract)

Hinze, Ralf

In Lins, Rafael Dueire, editor, 3rd Latin-American Conference on Functional Programming (CLaPF'99) March 1999.

Details | BibTeX

[124]

Perfect Trees and Bit-reversal Permutations

Hinze, Ralf

No. IAI-TR-99-4, Technical Report, Institut für Informatik III, Universität Bonn. March 1999.

Details | BibTeX

[125]

Manufacturing Datatypes

Hinze, Ralf

In Okasaki, Chris, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99, Paris, France 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

[126]

Manufacturing Datatypes

Hinze, Ralf

No. IAI-TR-99-5, Technical Report, Institut für Informatik III, Universität Bonn. April 1999.

Details | BibTeX

[127]

Efficient Generalized Folds

Hinze, Ralf

No. IAI-TR-99-8, Technical Report, Institut für Informatik III, Universität Bonn. June 1999.

Details | BibTeX

[128]

Deriving monad transformers

Hinze, Ralf

No. IAI-TR-99-1, Technical Report, Institut für Informatik III, Universität Bonn. January 1999.

Details | BibTeX

[129]

Constructing Red-Black Trees

Hinze, Ralf

In Okasaki, Chris, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99, Paris, France pages 89—99. 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

[130]

Constructing Red-Black Trees

Hinze, Ralf

No. IAI-TR-99-6, Technical Report, Institut für Informatik III, Universität Bonn. May 1999.

Details | BibTeX

[131]

A New Approach to Generic Functional Programming

Hinze, Ralf

No. IAI-TR-99-9, Technical Report, Institut für Informatik III, Universität Bonn. July 1999.

Details | BibTeX

[132]

A Generic Programming Extension for Haskell

Hinze, Ralf

In Meijer, Erik, 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

[133]

de Bruijn Notation as a Nested Datatype

Richard S. Bird, Ross Paterson

Journal of Functional Programming, Vol. 9, No. 1, pages 77—91. 1999.

Details | BibTeX | Link (pdf) | DOI (10.1017/S0956796899003366)

[134]

Generalised Folds for Nested Datatypes

Richard Bird, Ross Paterson

Formal Aspects of Computing, Vol. 11, pages 200—222. 1999.

Details | BibTeX | Link (pdf)

[135]

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting

Oege de Moor, Jeremy Gibbons

Science of Computer Programming, Vol. 35, No. 1, 1999.

Details | BibTeX | Link (ps.gz)

[136]

A Pointless Derivation of Radixsort

Jeremy Gibbons

Journal of Functional Programming, Vol. 9, No. 3, pages 339—346. 1999.

Details | BibTeX | Link (ps.gz)

[137]

Proof Methods for Structured Corecursive Programs

Jeremy Gibbons, Graham Hutton

In Proceedings of 1st Scottish Workshop on Functional Programming 1999.

Details | BibTeX

[138]

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Jeremy Gibbons

March 1999.

Estonian Winter School on Computer Science.

Details | BibTeX

[139]

Prological Features in a Functional Setting —- Axioms and Implementations

Hinze, Ralf

In Sato, Masahiko, Toyama, Yoshihito, editors, Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto University, Japan pages 98—122. Singapore, New Jersey, London, Hong Kong. April 1998. World Scientific.

Details | BibTeX

[140]

Projektionsbasierte Striktheitsanalyse

Hinze, Ralf

In Ausgezeichnete Informatikdissertationen 1996 pages 46—61. B.G. Teubner. 1998.

Details | BibTeX

[141]

Polytypic Functions Over Nested Datatypes

Hinze, Ralf

No. IAI-TR-98-10, Technical Report, Institut für Informatik III, Universität Bonn. October 1998.

Details | BibTeX

[142]

Numerical Representations as Higher-Order Nested Datatypes

Hinze, Ralf

No. IAI-TR-98-12, Technical Report, Institut für Informatik III, Universität Bonn. December 1998.

Details | BibTeX

[143]

Generalizing Generalized Tries

Hinze, Ralf

No. IAI-TR-98-11, Technical Report, Institut für Informatik III, Universität Bonn. November 1998.

Details | BibTeX

[144]

Meertens' Number

Richard S. Bird

Journal of Functional Programming, Vol. 8, No. 1, pages 83-88. 1998.

Details | BibTeX | DOI (10.1017/S0956796897002931)

[145]

Nested Datatypes

Richard S. Bird, Lambert Meertens

In Johan Jeuring, editor, LNCS 1422: Proceedings of Mathematics of Program Construction pages 52—67. Marstrand, Sweden. June 1998. Springer-Verlag.

Details | BibTeX | Link (pdf)

[146]

Introduction to Functional Programming Using Haskell

Richard S. Bird

Prentice-Hall. 1998.

Details | BibTeX | Link

[147]

Structured Programming in Java

Jeremy Gibbons

SIGPLAN Notices, Vol. 33, No. 4, pages 40—43. April 1998.

Also in Fintan Culwin, editor, Proceedings of the Second Conference on Java in the Computing Curriculum, South Bank University, London.

Details | BibTeX | Link (ps.gz)

[148]

The Under-Appreciated Unfold

Jeremy Gibbons, Geraint Jones

In International Conference on Functional Programming pages 273—279. Baltimore, Maryland. September 1998.

Details | BibTeX | Link (ps.gz)

[149]

Polytypic Downwards Accumulations

Jeremy Gibbons

In Johan Jeuring, editor, Proceedings of Mathematics of Program Construction Vol. 1422 of Lecture Notes in Computer Science, pages 207-233. Marstrand, Sweden. June 1998. Springer-Verlag.

Details | BibTeX | Link (ps.gz)

[150]

Against the Grain: Linear-Time Breadth-First Tree Algorithms

Jeremy Gibbons, Geraint Jones

1998.

Oxford Brookes University and Oxford University Computing Laboratory.

Details | BibTeX

[151]

On Merging and Selection

Richard S. Bird

Journal of Functional Programming, Vol. 7, No. 3, pages 349—354. 1997.

Details | BibTeX | DOI (10.1017/S0956796897002736)