Skip to main content Accessibility help
×
Home

Folding left and right over Peano numbers

  • OLIVIER DANVY (a1)

Copyright

References

Hide All
Bertot, Y. & Castéran, P. (2004) Interactive Theorem Proving and Program Development. Springer.
Bird, R. & Wadler, P. (1988) Introduction to Functional Programming, 1st ed. London, UK: Prentice-Hall International.
Burstall, R. M. & Darlington, J. (1977) A transformational system for developing recursive programs. J. ACM 24(1), 4467.
Church, A. (1941) The Calculi of Lambda-Conversion. Princeton University Press.
Danvy, O. & Spivey, M. (2007) On Barron and Strachey’s Cartesian product function, possibly the world’s first functional pearl. In Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP’07), Hinze, R. & Ramsey, N. (eds). SIGPLAN Notices, vol. 42, no. 9. Freiburg, Germany: ACM Press, pp. 4146.
Goldberg, M. (1996) Recursive Application Survival in the λ-calculus. PhD Thesis, Computer Science Department, Indiana University, Bloomington, Indiana.
Goldberg, M. (2014) The λ Calculus – Outline of Lectures. lambda.little-lisper.org.
Gordon, M. J. C. (1979) On the power of list iteration. Comput. J. 22(4), 376379.
Hughes, J. (1986) A novel representation of lists and its application to the function “reverse”. Inf. Process. Lett. 22(3), 141144.
Johnsson, T. (1985) Lambda lifting: Transforming programs to recursive equations. In Functional Programming Languages and Computer Architecture, Jouannaud, J.-P. (ed). Lecture Notes in Computer Science, vol. 201. Nancy, France: Springer-Verlag, pp. 190203.
Kleene, S. C. (1981) Origins of recursive function theory. Ann. Hist. Comput. 3(1), 5267.
Meertens, L. (1992) Paramorphisms. Formal Aspects Comput. 4(5), 413424.
Ohori, A. & Sasano, I. (2007) Lightweight fusion by fixed point promotion. In Proceedings of the Thirty-Fourth Annual ACM Symposium on Principles of Programming Languages, Felleisen, M. (ed). SIGPLAN Notices, vol. 42, no. 1. Nice, France: ACM Press, pp. 143154.
Strachey, C. (1961) Handwritten Notes. Archive of Working Papers and Correspondence. Bodleian Library, Oxford, Catalogue no. MS. Eng. misc. b.267.
Wadler, P. (1984) Listlessness is better than laziness. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, Steele, G. L. (ed). Austin, Texas: ACM Press, pp. 282305.

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed

Folding left and right over Peano numbers

  • OLIVIER DANVY (a1)
Submit a response

Discussions

No Discussions have been published for this article.

×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *