Programming with Types: Examples in TypeScript

A Type of Programming

Types & Programming Languages (The MIT Press)

Advanced Topics in Types and Programming Languages

ATS PROGRAMMING FOR HIGH-SAFETY APPLICATIONS: Combining functional and imperative programming with type safety