Lecture 25: Type Classes.

In this lecture we give a not so easy introduction to type classes. Using a subset of Haskell, we give a formal account of type classes, including some judgments and inference rules.

Further Reading:

Previous lecture: Lecture 24
Next lecture: Lecture 26