Using circular programs to eliminate multiple traversals of data

Bird, R.S.: Programs and Machines ? An Introduction to the Theory of Computation. London: John Wiley 1976

Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. J. ACM 24, 44?67 (1977)

Burstall, R.M., Macqueen, D.B., Sannella, D.T.: HOPE: an experimental applicative language. Int Res Report. Dept Computer Science, University of Edinburgh 1980

Feather, M.: A system for assisting program transformation. ACM Trans Progr. Lang. Syst. 4, 1?20 (1982)

Henderson, P.: Functional Programming: Application and Implementation. Englewood Cliffs: Prentice-Hall 1980

Hughes, R.J.M.: The Design and Implementation of Programming Languages. D. Phil. Thesis. Oxford University 1983

Kott, L.: About a transformation system: a theoretical study. Proc. Third Symp. Progr. Paris, 1971

Turner, D.: Recursion equations as a programming language. In: Functional Programming and its Applications (Darlington, J., Henderson, P., Turner, D. (eds.). Cambridge: University Press, 1982

Wadler, P.: (personal communication)

Wadler, P.: Listlessness is better than laziness. Ph. D. Thesis, Carnegie-Mellon University, 1984