J. Guadalupe Ramos, Josep Silva, Germán Vidal
Fast narrowing-driven partial evaluation for inductively sequential programs
ICFP, 2005.
@inproceedings{ICFP-2005-RamosSV, author = "J. Guadalupe Ramos and Josep Silva and Germán Vidal", booktitle = "{Proceedings of the 10th International Conference on Functional Programming}", doi = "10.1145/1086365.1086394", editor = "Olivier Danvy and Benjamin C. Pierce", isbn = "1-59593-064-7", pages = "228--239", publisher = "{ACM}", title = "{Fast narrowing-driven partial evaluation for inductively sequential programs}", year = 2005, }