Archive for February, 2008

Video: Darcs and GADTs

February 2, 2008 on 9:07 pm | By Neil | In , | 1 Comment

Here’s is the video from Ganesh Sittampalam’s talk on Darcs and GADTs.

Here is the downloadable version (125Mb), playable with mplayer or VLC media player, and here are the slides (PDF) (NB: Ganesh has corrected the “missing Maybe” mistake and there are a few bonus slides at the end).

Powered by WordPress and Nifty Cube with Recetas theme design by Pablo Carnaghi.
Entries and comments feeds. Valid XHTML and CSS.