Benjamin C. Pierce

Benjamin C. Pierce has written at least 5 books. Their most popular book is Types and Programming Languages with 32 saves with an average rating of 4.25⭐.

Types and Programming Languages

Basic category theory for computer scientists

Software Foundations

Advanced Topics in Types and Programming Languages

Типы в языках программирования

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies