Benjamin C. Pierce

Benjamin C. Pierce

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

Authorship percentage indicates primary author status - excluding introductions, forewards and other contributions.

Series

2 released books

Authored 50% of series

Foundations of Computing

Foundations of Computing is a 2-book series with 2 released primary works first released in 1991 with contributions by Benjamin C. Pierce and Yuri Matijasevich.

Basic category theory for computer scientists
Hilbert's tenth problem