Myers: 2002, `Secure Information Flow and Linear Continuations (0)

by S Zdancewic, A C
Venue:Higher-Order and Symbolic Computation 15(2/3), 209-234. LinUC.tex; 8/11/2002; 11:23; p.33