Static enforcement of security with types.

Christian Skalka Scott F. Smith Static enforcement of security with types. 34-45 2000 conf/icfp/2000 ICFP http://doi.acm.org/10.1145/351240.351244 db/conf/icfp/icfp2000.html#SkalkaS00