Semantic types: A fresh look at the ideal model for types (0)

by J Vouillon, P A Melliès
Venue:ACM SIGPLAN Notices