Applied Type System (extended abstract (2004)

by Hongwei Xi
Venue:In post-workshop Proceedings of TYPES 2003
Citations:38 - 13 self