Encoding secure information flow with restricted delegation and revocation in Haskell.

Doaa Hassan, Amr Sabry

Browse the full ICFP paper archive.