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