Applied Type System (extended abstract (2004)

by Hongwei Xi
Venue:In post-workshop Proceedings of TYPES 2003