F7: Refinement Types for F# (2012)
F7 is an enhanced type checker for the F# programming language. Last published: November 29, 2011.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
2.0
Date Published:
4/15/2024
File Name:
f7-release-2.0.11129.zip
File Size:
11.7 MB
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.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.