A Type of Programming

Advanced Topics in Types and Programming Languages

Typescript Cookbook: Real World Type-Level Programming

Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types