Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.

Jacob Matthews, Amal Ahmed

Browse the full ESOP paper archive.