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

Stefan Holdermans stefan at cs.uu.nl
Wed Dec 2 01:20:10 EST 2009


Tom,

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

I'm quite sure at least GADTs are covered in INFOMAFP, the graduate  
course on Advanced Functional Programming at UU:

   http://www.cs.uu.nl/docs/vakken/afp

Cheers,

   Stefan


More information about the Haskell-Cafe mailing list