Amanda Laucher and Josh Graham introduce the audience to F# basics showing some of its main features, emphasizing what makes it better than imperative languages. Laucher also presents the case of a real life application where she rewrote large portions of C# code replacing it with dense fast executing F# instructions.
http://www.infoq.com/presentations/Pragmatic-F-Sharp-in-Action

F# (shipped in Visual Studio 2010) is a functional programming language that supports static checking and type inference for units-of-measure. Even in the simplest applications, units-of-measure can act as a valuable additional check for the correctness of the code. I will start by giving an introduction to units-of-measure and their implementation in F#. I’ll work through smaller and larger code examples that make use of units-of-measure. As a large application, I’ll detail a wrapper for a mathematical programming and optimization toolbox (Microsoft Solver Foundation) that handles units-of-measure transparently.
Watch this video …

Sadek Drobi shows how he applied functional programming principles to a real-life project which needed to meet certain performance requirements. He shares the lessons learnt on using mutation, laziness, recursion, functions, monads, list comprehensions and parallelization in an attempt to achieve a functional domain model.
http://www.infoq.com/presentations/Functional-Programming-Sadek-Drobi

Don Syme presents F# basics, a typed functional language for .NET that combines the succinctness, expressivity, and compositionality of functional programming with the runtime support, libraries, interoperability, tools, and object model of .NET.
http://www.infoq.com/presentations/F-Sharp-Basics-Don-Syme

I haven’t yet seen any good F# webcast focusing mainly on showing F# source code, starting from simple functional concepts to the real-world features like asynchronous workflows and object-oriented programming in F#, so I decided to create one.
http://tomasp.net/articles/fsharp-webcast-functional.aspx
F# web site