F7: Refinement Types for F# (2012)

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