Applied Type System (extended abstract (2004)

by Hongwei Xi
Venue:In post-workshop Proceedings of TYPES 2003
Citations:37 - 14 self