Programming with Types: Examples in TypeScript

A Type of Programming

Advanced Topics in Types and Programming Languages

Types & Programming Languages (The MIT Press)

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