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

Overview
Research
Identity
Additional Document Info
View All

authors

Hassan, Doaa
Sabry, Amr

status

published

publication date

September 22, 2013

published in

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages Journal

presented at event

ICFP'13: ACM SIGPLAN International Conference on Functional Programming Conference