A Type of Programming

Advanced Topics in Types and Programming Languages

Typescript Cookbook: Real World Type-Level 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

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