Fast narrowing-driven partial evaluation for inductively sequential programs

J. Guadalupe Ramos, Josep Silva, Germán Vidal. Fast narrowing-driven partial evaluation for inductively sequential programs. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 228-239, ACM, 2005. [doi]

Abstract

Abstract is missing.