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


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.

Type Inferencing Theory

Tiny First-Order Functional language (TFOF)

TFOF Syntax

TFOF Tools


-- ArthurVanDam - 22 Mar 2004