Skip to content

Noninterference for free.

William J. Bowman, Amal Ahmed

VenueAICFP
Year2015
ProceedingsICFP

Browse the full ICFP paper archive.