A static type system for JVM access control.

Tomoyuki Higuchi Atsushi Ohori A static type system for JVM access control. 227-237 2003 conf/icfp/2003 ICFP http://doi.acm.org/10.1145/944705.944726 db/conf/icfp/icfp2003.html#HiguchiO03