Arrows for secure information flow
LiPeng, ZdancewicSteve · Theoretical Computer Science · 2010
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful information-flow control m...