A Semantics of Object Types (1994)

Cached

Download Links

by Martín Abadi , Luca Cardelli
Venue:Proc. IEEE Symposium on Logic in Computer Science
Citations:35 - 7 self