related documents Encoding secure information flow with restricted delegation and revocation in Haskell Conferences Extensible effects Conferences