Existential Types for Imperative Languages (2002)

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