Manifest fields and module mechanisms in intensional type theory (2009)

Cached

Download Links

by Zhaohui Luo
Venue:In TYPES 08
Citations:4 - 3 self