Atsushi Ohori. A static type system for JVM access control (2003)

by Tomoyuki Higuchi
Venue:In Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming