MIT Press Types and Programming Language
A foundational text that unifies type theory and programming language design, presenting formal systems, proofs, and practical applications in a clear ...
Sponsored
WHSmith
85.00 GBP
Price updated on: 28-05-2026 23:57:24
General
Brand
Brand: MIT Press
ISBN
Brand: MIT Press 0262162091
