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

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.be
Tue Dec 1 16:38:14 EST 2009

Hello Haskell Cafe,

I was wondering whether there are any universities that teach about 
Haskell type families or GADTs?



Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee

tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be
url: http://www.cs.kuleuven.be/~toms/

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

More information about the Haskell-Cafe mailing list