1

A Framework for Point-Free Program Transformation

IFL 2005