A Type Theory for Krivine-Style Evaluation and Compilation.

Kwanghoon Choi, Atsushi Ohori

Browse the full APLAS paper archive.