Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
Synthesis of Functions by Transformations and Constraints
ICFP, 1997.
@inproceedings{ICFP-1997-Pareja-FloresV,
author = "Cristóbal Pareja-Flores and J. Ángel Velázquez-Iturbide",
booktitle = "{Proceedings of the Second International Conference on Functional Programming}",
doi = "10.1145/258948.258986",
editor = "Simon L. Peyton Jones and Mads Tofte and A. Michael Berman",
isbn = "0-89791-918-1",
pages = "317",
publisher = "{ACM}",
title = "{Synthesis of Functions by Transformations and Constraints}",
year = 1997,
}