Existential Types for Imperative Languages (2002)

by Dan Grossman
Venue:ACM Transactions on Programming Languages and Systems
Citations:22 - 5 self