Generalised folds for nested datatypes

Formal Aspects of Computing

Volumn 11, Issue 2, 1999, Pages 200-222

  Bird, Richard ^a   Paterson, Ross ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

Functional programming; Program construction

Indexed keywords

EID: 0001017659     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050047     Document Type: Article

References (18)

1. Bir, R. and de Moor, O.: Algebra of Programming. Prentice Hall, 1997.
2. Bird, R. Introduction to Functional Programming using Haskell. Prentice Hall, second edition, 1998.
3. Bird, R. S. and Meertens, L.: Nested datatypes. In Mathematics of Program Construction, volume 1422 of Lecture Notes in Computer Science, pages 52-67. Springer, 1998.
4. Bird, R. and Paterson, R.: De Bruijn notation as a nested datatype. Journal of Functional Programming, 9(1):77-91, January 1999.
5. Connelly, R. H. and Lockwood Morris, F.: A generalisation of the trie data structure. Mathematical Structures in Computer Science, 5(3):381-418, 1995.
6. Fegaras, L., Sheard, T. and Zhou, T.: Improving programs which recurse over multiple inductive structures. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, June 1994.
7. Hagino, T.: Category Theoretic Approach to Data Types. PhD thesis, Laboratory for Foundations of Computer Science. University of Edinburgh, UK, 1987. Technical Report ECS-LFCS-87-38.
8. Hoogendijk, P.: A Generic Theory of Data Types. PhD thesis, Eindhoven University of Technology, 1997.
9. Jones, M.: A technical summary of the new features in Hugs 1.3c, 1998. unpublished.
10. Jones, G. and Sheeran, M.: Designing arithmetic circuits by refinement in Ruby. In R. Bird, C. Morgan, and J. Woodcock, editors, Mathematics of Program Construction, volume 669 of Lecture Notes in Computer Science, pages 208-232. Springer, 1993.
11. Lambek, L.: Subequalizers. Canadian Mathematical Bulletin, 13:337-349, 1970.
12. Manes, E. G. and Arbib, M. A.: Algebraic Approaches to Program Semantics. Texts and Monographs in Computing Science. Springer, 1986.
13. Mac Lane, S.: Categories for the Working Mathematician. Springer, New York, 1971.
14. Malcolm, G. R.: Algebraic Data Types and Program Transformation. PhD thesis, Rijksuniversiteit Groningen, 1990.
15. Malcolm, G. R.: Data structures and program transformation. Science of Computer Programming, 14(2-3):255-279, 1990.
16. McCracken, N. J.: The typechecking of programs with implicit type structure. In Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 301-315. Springer, 1984.
17. Okasaki, C.: Purely Functional Data Structures. Cambridge University Press, 1998.
18. Peyton Jones, S. and Launchbury, J.: Explicit quantification in Haskell, 1997. See: http://www.dcs.gla.ac.uk/people/personal/simonpj/.