A type directed translation of MLF to system F.

Daan Leijen

Browse the full ICFP paper archive.