Higher-Order Intensional Type Analysis in Type-Erasure Semantics (2003)

Cached

Download Links

by Stephanie Weirich
Venue:In Proc. 11th ESOP, LNCS 2305
Citations:4 - 0 self