Multiple facets for dynamic information flow.

Thomas H. Austin, Cormac Flanagan

Browse the full POPL paper archive.