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

[Christopher Anand]

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 <Tom.Schrijvers at cs.kuleuven.be> 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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe