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

The IPEX Operating System: For All Types of Programs, Projects, Approaches, and Any Type of Work in Real Time and Without Documents: Aligned with the Leading Global Standards