Erasure and Polymorphism in Pure Type Systems

by Nathan Mishra-linger , Tim Sheard
Citations:14 - 0 self