The functional-first style encouraged by F# rules out many simple bugs, but we’ve all struggled with deeper algorithmic bugs lurking in our programs. F* is a new research language from Microsoft Research that allows you to formally prove the full functiona...

Exchange ideas, practice and discuss with leading expert Phil Trelford!

What a better way to start the second day of the Progressive F# Tutorials NYC 2013, than with a talk by leading expert Miguel de Icaza!

The F# koans will lead you on the path to F# enlightenment. Come with your laptop, an open mind, and willingness to learn. Leave with a better understanding of F#, functional programming, and test driven development. If you're new to F#, you'll learn the b...

F# is a powerful open-source language which Microsoft, other companies and the F# community all contribute to. In this talk, Don will discuss how the “F# space” has recently opened up significantly in interesting ways. F# now includes contributions that ra...