Encoding information flow (0)

by P Li, S Zdancewic
Venue:in Haskell,” in CSFW