Introduction to F# Scalable, Type-safe, Succinct, Interoperable, Mathematically-oriented Programming for.NET Don Syme MSR Cambridge .
... a programming language. ...a functional programming language.