Biorthogonality, step-indexing and compiler correctness.

Nick Benton, Chung-Kil Hur

Browse the full ICFP paper archive.