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.

Download Details File Name: f7.zip Version: 1.0 Date Published: 23 September 2008 Download Size: 3.24 MB

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