Updated: 20180306 by Pradeep Gowda.
Introductory materials
 Learn Type Theory
 Type Theory in 15 minutes [presentation in PDF].
Important concepts in type theory.
 Alonzo Church’s typed lambdacalculus – mathematical foundation

Per MartinLöf’s intuitionistic type theory, 1998 :cite:martin1998intuitionistic

CurryHoward correspondence – equates programs with proofs.

Homotopy type theory refers to a new interpretation of MartinLöf’s system of intensional, constructive type theory into abstract homotopy theory.
Type inference
Type Inference by Solving Constraints – Caleb Helbling – Programming Languages & Systems
Videos
 “Type Theory Foundations” lecture by Robert Harper at OPLSS 2013.
To read
 “Programming in MartinLof’s type theory” by Nordstrom, 1990 cite:[Nordstrom1990]
Row polymorphism vs subtyping
 Row Polymorphism Isn’t Subtyping  BAM Weblog

Objects and Aspects: Row Polymorphism – Neel Krishnaswami