Higher-Order Intensional Type Analysis (2002)

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

Document Versions

Higher-Order Intensional Type Analysis –Stephanie Weirich — 2002 — In Proc. 11th ESOP, LNCS 2305
Encoding Intensional Type Analysis –Stephanie Weirich — 2001 — In Proc. 11th ESOP, LNCS 2305
Higher-order intensional type analysis –Stephanie Weirich — 2002 — In Proc. 11th ESOP, LNCS 2305
Higher-order intensional type analysis –Stephanie Weirich — 2002 — In Proc. 11th ESOP, LNCS 2305
Higher-order intensional type analysis –Stephanie Weirich — 2002 — In Proc. 11th ESOP, LNCS 2305