59
Voted
CSFW
2006
IEEE
15 years 2 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...