A functional type system for policy inspection, audit and enforcement.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
A functional type system for implementing policy inspection, audit and enforcement.
License:Apache License 2.0