Benjamin C. Pierce

Benjamin C. Pierce

Benjamin C. Pierce's most popular book is Types and Programming Languages with 38 saves and an average rating of 4.25.

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

Series

2 primary books0 released books

Authored 100% of series

Software Foundations

Software Foundations is a 0-book series with contributions by Benjamin C. Pierce, Arthur Azevedo de Amorim, and Chris Casinghino.

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