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-1.5.zip Version: 1.5 Date Published: 13 October 2009 Download Size: 1.10 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.