Secure Information Flow via Linear Continuations (2002)

by Steve Zdancewic, Andrew C. Myers
Venue:Higher Order and Symbolic Computation