F7: Refinement Types for F# (2012)

Language:
English
F7 is an enhanced type checker for the F# programming language. Last published: November 29, 2011.
  • Version:

    2.0

    File Name:

    f7-release-2.0.11129.zip

    Date Published:

    5/12/2016

    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 System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit