Synthesis of Functions by Transformations and Constraints.

Cristbal Pareja-Flores, J. ngel Velzquez-Iturbide

Browse the full ICFP paper archive.