Paragon for Practical Programming with Information-Flow Control.

Niklas Broberg, Bart van Delft, David Sands

Browse the full APLAS paper archive.