Video Talk: Haskell Type Constraints Unleashed

Unfortunately, due to the air travel disruption in Europe in April I was unable to fly to Japan to attend FLOPS 2010 to present my paper on extensions to Haskell's type constraints system. Fortunately my inability to attend provided motivation to record a video talk. See below for links to the video and to the paper.

• High quality (470.3MB MPEG4)


• Medium quality (277.6MB MPEG4)
  (If you have any problems playing the video files, I recommend VLC a great, cross-platform media player that plays almost everything.)


• Presentation Slides


• Streaming version @ Vimeo
  

  Haskell Type Constraints Unleashed from Dominic Orchard on Vimeo

  
  


• Paper


• Technical Report


• Prototype Implementation