Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all

• Type: Conference
• Year: 1991
• Where: FPCA
• Authors: Erik Meijer, Maarten M. Fokkinga, Ross Paterson
• Keywords: FPCA 1991, Lazy Functional Programming, Programming Languages, Recursion Operators, Various Algebraic Laws