[Haskell-cafe] university courses on type families/GADTs?

Manuel M T Chakravarty chak at cse.unsw.edu.au
Tue Dec 1 22:22:05 EST 2009

Tom Schrijvers wrote,
> I was wondering whether there are any universities that teach about Haskell type families or GADTs?

I do in my course "Language-based Software Safety" (both TFs and GADTs).  It's an advanced, research-oriented course for 4th year undergraduate and for postgraduate students.  (It wasn't offered last year and this year, but will be again offered next year.)


More information about the Haskell-Cafe mailing list