[Book] Typed Systems (TAPL 8-14)

Posted on September 1, 2025

Types and Programming Languages by Benjamin C. Pierce

Typed Systems