Semantic Types: A Fresh Look at the Ideal Model for Types (2004)

by J Vouillon, P-A Melliès
Venue:In Proceedings of POPL’04. ACM