» Three books by Benjamin C. Pierce

Three books by Benjamin C. Pierce

Types and Programming Languages
Tags: compilers, programming
Types and Programming Languages
Basic Category Theory for Computer Scientists ...
Tags: compilers, programming
Basic Category Theory for Computer Scientists (Foundations of Computing)
Advanced Topics in Types and Programming ...
Tags: compilers, programming
Advanced Topics in Types and Programming Languages