A monadic analysis of information flow security with mutable state (2003)

by Karl Crary , Aleksey Kliger , Frank Pfenning
Venue:Journal of Functional Programming
Citations:27 - 1 self