Updated: 2018-03-06 by Pradeep Gowda.

Introductory materials

Important concepts in type theory.

Type inference

Type Inference by Solving Constraints – Caleb Helbling – Programming Languages & Systems

Videos

To read

Row polymorphism vs subtyping

Misc