tfof-deforest is a small demo package around a case study into transformation of functional programs, more specifically: on eliminating intermediate trees by deforestation.

%TOC%

---++ Background
---+++ Deforestation Theory
Based on Philip Wadler's paper:
P. L. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73(2):231--248, 1990. 
http://citeseer.ist.psu.edu/wadler90deforestation.html

---+++ Type Inferencing Theory


---++ Tiny First-Order Functional language (TFOF)
---+++ TFOF Syntax
---+++ TFOF Tools
---++ Deforestation




-- Main.ArthurVanDam - 22 Mar 2004