Fast narrowing-driven partial evaluation for inductively sequential programs.

J. Guadalupe Ramos, Josep Silva, Germn Vidal

Browse the full ICFP paper archive.