Achieving information flow security through monadic control of effects
William L. Harrison, James Hook · Journal of Computer Security · 2009
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This approach is constructive, relying on properties of monads and monad transf