Benjamin C. Pierce (Author of Types and Programming Languages)

Benjamin C. Pierce鈥檚 Followers (50)

Benjamin C. Pierce

edit data

Combine Editions
Benjamin C. Pierce鈥檚 books

Average rating: 4.17 · 843 ratings · 56 reviews · 8 distinct works 鈥� Similar authors

	Types and Programming Languages 4.28 avg rating — 577 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.57 avg rating — 138 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 3.98 avg rating — 49 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.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 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,

尘辞谤别鈥�
4.45 avg rating — 40 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 欧宝娱乐.

欧宝娱乐

Benjamin C. Pierce鈥檚 Followers (50)

Benjamin C. Pierce

Combine EditionsBenjamin C. Pierce鈥檚 books

Series by Benjamin C. Pierce

Combine Editions
Benjamin C. Pierce鈥檚 books