Confined Types (1999)

by Boris Bokowski, Jan Vitek
Venue:In Proceedings 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA