Flexible dynamic information flow control in Haskell

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières. Flexible dynamic information flow control in Haskell. In Koen Claessen, editor, Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011. pages 95-106, ACM, 2011. [doi]

Authors

Deian Stefan

This author has not been identified. Look up 'Deian Stefan' in Google

Alejandro Russo

This author has not been identified. Look up 'Alejandro Russo' in Google

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google

David Mazières

This author has not been identified. Look up 'David Mazières' in Google