Programming with Narrowing http://corp.galois.com/blog/2012/8/2/tech-talk-video-programming-with-narrowing.html http://corp.galois.com/blog/2012/6/28/tech-talk-programming-with-narrowing.html を観た。

Curryの入門的な講演。Narrowingの仕組みの技術的な話を若干期待していたけど、それは特には無かった。