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

Overview

publication venue for

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