Fun-trans - A Framework for Transforming Functional Programs

This source code implements the program transformation framework for a strict and pure functional language described in the master's thesis Automating Functional Program Transformation. The implementation language is LambdaProlog.

Enjoy!

Markus Mottl in Rutherford, NJ on June 29, 2012