HKU PL Group

We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis.
The University of Hong Kong

Some discussions about type classes


In this problem session we are going to have a shallow peek at the state of one of the signature features of the modern haskell, the type classes. Hopefully it’s not going to be too boring :P