A library for light-weight information-flow security in haskell.

Alejandro Russo, Koen Claessen, John Hughes

Browse the full HASKELL paper archive.