The F# Language Specification gives an in-depth technical explanation of the F# language constructs and required compiler behavior. It discusses topics such as lexical analysis, grammar, types including type inference algorithm, expressions, patterns and other.

The F# Language Specification is authored by Microsoft, Microsoft Research and contributors from the F# community and is made available here by agreement.

F# 2.0

F# 3.0

F# 3.1