Does this functional program meet its specification?
'►' shortcut: Alt+B
about Fine - End-to-End Verification of Security Policy Enforcement
Fine is a new programming languges (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced.
rise4fun © 2017 Microsoft Corporation - terms of use - privacy & cookies - code of conduct