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

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

-- ArthurVanDam - 22 Mar 2004

Revision: r1.3 - 21 Jul 2004 - 22:05 - ArthurVanDam
Stratego > TWikiUsers > ArthurVanDam > TFOFDeforest
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback