F7: Refinement Types for F# (2012)

F7 is an enhanced type checker for the F# programming language. F7 supports static checking of properties expressed with refinement types. Our motivation is to check various security properties of F# implementation code by typing.


File Namef7-release-2.0.11129.zip
Date Published29 November 2011
Download Size12.10 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.