"logic models provability rather than truth"

Nice  post on Type System and Logic.

Adventures with types

Another excellent talk about types in Haskell by Simon Peyton Jones.

Making DSL Fly

I like this presentation on DSL and its performance characteristics in Haskell.