"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.

Oregon Summer School

These are amazing set of lectures on computer programming.

2012 Oregon Summer School

Interesting talk about use of Haskell in the wild

Interesting talks on use of Haskell in Barclays for mission critical applications.  



Haskell at Barclays: Exotic Tools for Exotic Trades



The section about Generic programming using Catamorphisms and  Sharing of computations is quite interesting.   I also like the idea of Barclays first developed an EDSL then a DSL that it compiled to the EDSL.   Having a DSL allows you to give application specific error messages that would be difficult when you have EDSL in a mother language (in this case Haskell).    I also liked their mention of the UUParsing library out of Utrecht.   There is an interesting tutorial  (and class notes) on the parser that I have been studying and find it very useful in  trying to learn functional thinking and design.

Understanding and Using Regular Expressions

Nice Presentation on Regular Expression



Understanding and Using Regular Expressions

Bayesian framwork

Interesting application of bayesian framework.   Bayesian framework is interesting in context of functional programming, as it too, is all about compositional frame work.    Building a complex probabilistic model from observations, uncertainty about observations, and prior beliefs.

Search for the Wreckage of Air France Flight AF 447

What is meaning of denotation semantic ....

An absolute not to be missed lecture by David Sankel: The intellectual Ascent to Agda.

He talks about Denotational Semantic and interestingly describing it as:  augmenting math to talk about meaning and then extend math to program in math.