Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible dynamic information flow control in Haskell
Haskell, 2011.
@inproceedings{Haskell-2011-StefanRMM,
author = "Deian Stefan and Alejandro Russo and John C. Mitchell and David Mazières",
booktitle = "{Proceedings of the Fourth International Symposium on Haskell}",
doi = "10.1145/2034675.2034688",
isbn = "978-1-4503-0860-1",
pages = "95--106",
publisher = "{ACM}",
title = "{Flexible dynamic information flow control in Haskell}",
year = 2011,
}











