Sequent calculus as a compiler intermediate language.

Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones

Browse the full ICFP paper archive.