Access control in a core calculus of dependency (2006)

by M Abadi
Venue:In Internatonal Conference on Functional Programming