Practical and effective higher-order optimizations.

Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler

Browse the full ICFP paper archive.