Encoding information flow in haskell (2006)

by P Li, S Zdancewic
Venue:In Computer Security Foundations Workshop, 2006. 19th IEEE