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 © 2013 Microsoft Corporation -
privacy & cookies
code of conduct