fine
by Microsoft
Does this functional program meet its specification?
loading...
home
video
permalink
'►' shortcut: Alt+B
samples
hello
append
appendbad
higherorder
accesscontrol
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.
tools
developer
about
Contact Us
|
Privacy & Cookies
|
Terms of Use
|
Trademarks
| © 2021 Microsoft