Erasure and Polymorphism in Pure Type Systems (2008)

by N Mishra-Linger, T Sheard
Venue:Foundations of Software Science and Computational Structures, 11th International Conference (FOSSACS