Coarse-grained information flow control for Java
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.