Erasure and Polymorphism in Pure Type Systems.

Nathan Mishra-Linger, Tim Sheard

Browse the full FOSSACS paper archive.