Flexible dynamic information flow control in Haskell (2011)

by Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Venue:HASKELL'11