Flexible dynamic information flow control in Haskell (2011)

by D Stefan, A Russo, J C Mitchell, D Mazières
Venue:In 4th Symposium on