Flexible dynamic information flow control in the presence of exceptions

Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo. Flexible dynamic information flow control in the presence of exceptions. Journal of Functional Programming, 27, 2017. [doi]

Abstract

Abstract is missing.