Thu, 21 Aug 2008 15:10:53 BST CiteULike: ergodique programming http://www.citeulike.org/user/ergodique/tag/programming CiteULike.org en-gb Copyright © 2004-2008 citeulike.org http://www.citeulike.org/user/ergodique/article/333370 <i>Vol. 523 (1991), pp. 124-144.</i><br /><br />We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's "Introduction to Functional Programming" can be expressed using these operators. 1 Introduction Among the many styles and methodologies for the construction of computer programs the Squiggol style in our... Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga Ross Paterson Vol. 523 (1991), pp. 124-144. 2005-09-27T19:34:51-00:00 1991 523 124 144 Springer-Verlag programming