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 <[email protected]> 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: [email protected] > url: http://www.cs.kuleuven.be/~toms/ > > Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
