Browse Code
An implementation of the type system presented in 2005 by Cédric Fournet, Andrew D. Gordon and Sergio Maffeis in A Type Discipline for Authorization Policies: http://research.microsoft.com/en-us/um/people/adg/publications/msr-tr-2005-01.pdf
Follow Spi Policy Typechecker
Other Useful Business Software
Stay in Flow. Let Zenflow Handle the Heavy Lifting.
Zenflow is your engineering control center, turning specs into shipped features. Parallel agents handle coding, testing, and refactoring with real repo context. Multi-agent workflows remove bottlenecks and automate routine work so developers stay focused and in flow.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Spi Policy Typechecker!
