Applied Type System (extended abstract (2004)

by H Xi
Venue:In TYPES 2003. Springer-Verlag LNCS 3085