Applied type system (extended abstract (2004)

by H W Xi
Venue:In postworkshop Proceedings of TYPES 2003, LNCS, Vol 3085