An imperative object calculus (1995)

Cached

Download Links

by Martín Abadi , Luca Cardelli
Venue:PROC. TAPSOFT'95
Citations:26 - 5 self