Benjamin C. Pierce

8 books

Advanced Topics in Types and Programming Languages by Benjamin C. Pierce

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce

588 pages • first pub 2004 (editions)

nonfiction computer science informative slow-paced
Basic Category Theory for Computer Scientists by Benjamin C. Pierce

Basic Category Theory for Computer Scientists

Benjamin C. Pierce

100 pages • first pub 1991 (editions)

nonfiction computer science mathematics informative slow-paced
Software Foundations by Benjamin C. Pierce

Software Foundations

Benjamin C. Pierce

800 pages • first pub 2011 (editions)

nonfiction computer science informative lighthearted medium-paced
Types and Programming Languages by Benjamin C. Pierce

Types and Programming Languages

Benjamin C. Pierce

648 pages • first pub 2002 (editions)

nonfiction computer science technology challenging informative slow-paced
Advanced topics in types and programming languages by Benjamin C. Pierce
Advanced topics in types and programming languages
—
Benjamin C. Pierce

Advanced topics in types and programming languages

Benjamin C. Pierce

588 pages • first pub 2004 (editions)

Software Foundations, Volume 1: Logical Foundations by Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

Software Foundations, Volume 1: Logical Foundations

Software Foundations #1

Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

325 pages • first pub 2017 (editions)

computer science informative slow-paced
Software Foundations, Volume 2: Programming Language Foundations by Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Andrew Tolmach, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations #2

Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Andrew Tolmach, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

missing page info • first pub 2017 (editions)

computer science informative lighthearted reflective medium-paced
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos, Benjamin C. Pierce
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
—
Leonidas Lampropoulos, Benjamin C. Pierce

Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq

Software Foundations #4

Leonidas Lampropoulos, Benjamin C. Pierce

missing page info • first pub 1873 (editions)

informative medium-paced