Microsoft Download Center Archive

F7: Refinement Types for F# (2012)

  • Published:
  • Version: 2.0
  • Category: other
  • Language: English

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

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.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem