Security through extensible type systems.

Nathan Fulton

Browse the full OOPSLA paper archive.