Access control in a core calculus of dependency (2006)

by Martín Abadi
Venue:In Proceedings of the 2006 ACM International Conference on Functional Programming (ICFP ’06