A Functional View of Imperative Information Flow.

Thomas H. Austin, Cormac Flanagan, Martn Abadi

Browse the full APLAS paper archive.