LJGS: Gradual Security Types for Object-Oriented Languages.

Luminous Fennell, Peter Thiemann

Browse the full ECOOP paper archive.