Flexible dynamic information flow control in Haskell.

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires

Browse the full HASKELL paper archive.