[Haskell-cafe] university courses on type families/GADTs?
Christopher Anand
anandc at mcmaster.ca
Tue Dec 1 20:10:08 EST 2009
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
More information about the Haskell-Cafe
mailing list