Benjamin C. Pierce’s Followers (46)

Benjamin C. Pierce

edit data

Combine Editions
Benjamin C. Pierce’s books

Average rating: 4.17 · 828 ratings · 53 reviews · 8 distinct works • Similar authors

	Types and Programming Languages 4.28 avg rating — 566 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 3.60 avg rating — 139 ratings — published 1991 — 8 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 really liked it 4.00 avg rating — 48 ratings — published 2004 — 8 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 4.59 avg rating — 41 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 4.71 avg rating — 21 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 4.17 avg rating — 12 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
	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
	Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science) 0.00 avg rating — 0 ratings — 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

More books by Benjamin C. Pierce…

Series by Benjamin C. Pierce

Software Foundations (4 books)
by

Benjamin C. Pierce,

Arthur Azevedo de Amorim,

Marco Gaboardi,

Andrew Tolmach,

more…
4.39 avg rating — 36 ratings

Quotes by Benjamin C. Pierce (?)

“A type system can be regarded as calculating a kind of static approximation to the run-time behaviours of the terms in a program.”
― Benjamin C. Pierce, Types and Programming Languages

tags: static-typing, type-systems

0 likes

“Q: Why bother doing proofs about programming languages? They are almost always boring if the definitions are right.
A: The definitions are almost always wrong.

- Anonymous”
― Benjamin C. Pierce

tags: computer-science, programming-languages

0 likes

Is this you? Let us know. If not, help out and invite Benjamin to Goodreads.