Synthesis of Functions by Transformations and Constraints

Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide. Synthesis of Functions by Transformations and Constraints. In ICFP. pages 317, 1997.

Abstract

Abstract is missing.