Higher-Order Intensional Type Analysis (2002)

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