Applied Type System (extended abstract (2004)

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

Document Versions

Applied Type System (extended abstract –Hongwei Xi — 2004 — In post-workshop Proceedings of TYPES 2003