Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.
Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.
Richard Minerich explains the reasons for choosing F#, how F# Type Providers help to integrate languages like R, how to bring Functional Programming to enterprise developers, and much more.
Erik Meijer explains Monads, from the basics to the reasons for the IO Monad.
Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell
Duncan Coutts explains the nature of Concurrency and Parallelism in Haskell, its threading and STM implementation, Erlang OTP's influence on CloudHaskell for distributed programming, Monads, and more.
Rúnar Bjarnason talks about the ideas behind and features in the popular scalaz library, programming concepts like (bi-directional) lenses, Scala Macros, and much more.
Sadek Drobi discusses functional programming sand Scala's multi paradigm approach at QCon London 2012. He also shares insights into the new Play 2.0 framework.
Philip Wadler talks about the role of functional programming and some of the reasons for its slow rise in the past and its influence today. Also: lambda calculus, monads, continuations and much more.
Simon Thompson and Huiqing Li explain refactoring with functional languages and Wrangler (Erlang) and HaRe (Haskell). Also: how Wrangler's ad-hoc mode allows everyone to write custom refactorings.
Gregory Collins talks about Snap, a high performance web framework for Haskell, where it fits in the web framework spectrum, the Iteratee I/O model, Haskell performance and much more.
Debasish Gosh talks about Domain Specific Languages: how to build DSLs with Scala or XText, real world DSLs, parser combinators and monads. Also: how Akka brings actor-based programming to the JVM.