- TypeScript Doc Handbooks: Compatibility + Advanced Types
- Mapped types Built-in Release TS 2.1
- Conditional types Built-in Release TS 2.8
- Video Anders Hejlsberg TS CONF 2018
- Video Michel Weststrate on Runtime TypeCheck
- Nominal typing techniques in TypeScript
- Stronger Javascript with Opaque Types
- Type Driven Development with TypeScript
- Safe-Money
- Checking types against the real world in TypeScript