Types and Programming Languages by Benjamin C. Pierce View book Related Concepts Static Typing ← Back to all books