Books by Benjamin C. Pierce

Benjamin C. Pierce
Average rating 4.16 · 859 ratings · 56 reviews · shelved 6,132 times

Showing 9 distinct works.

	Types and Programming Languages by Benjamin C. Pierce 4.27 avg rating — 590 ratings — published 2002 — 24 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings — published 1991 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Advanced Topics in Types and Programming Languages by Benjamin C. Pierce (editor) 3.98 avg rating — 50 ratings — published 2004 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Foundations by Benjamin C. Pierce 4.55 avg rating — 42 ratings — published 2011	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Foundations, Volume 1: Logical Foundations by Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi 4.76 avg rating — 25 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Foundations, Volume 2: Programming Language Foundations by Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi 4.09 avg rating — 11 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science) by Benjamin C. Pierce liked it 3.00 avg rating — 1 rating — published 2008	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos, Benjamin C. Pierce it was ok 2.00 avg rating — 1 rating — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce(1991-08-07) by Benjamin C. Pierce, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.