Login / Signup

Achieving information flow security through monadic control of effects.

William L. HarrisonJames Hook
Published in: J. Comput. Secur. (2009)
Keyphrases