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

I think these topics have been covered in http://www.cas.mcmaster.ca/~kahl/FP/2009/ Christopher On Tue, 1 Dec 2009 22:38:14 +0100 (CET) Tom Schrijvers wrote:

Hello Haskell Cafe,

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

Thanks,

Tom

-- Tom Schrijvers

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

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

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe