Type-Check Elimination.

Stphane Ducasse, Robb Nebbe, Tamar Richner

Browse the full EuroPLop paper archive.