Applied type system (2004)

by Hongwei Xi
Venue:In Proceedings of TYPES 2003, Lecture Notes in Computer Science