Don Syme with some information about history, motivation, and development of F# as a strongly typed functional first programming language. He references to a history document at the beginning of the talk. Unfortunately, he runs out of time when showing some interesting coding examples. But, the slides can be found online, here. It's all there.