LibreReads
[Beta]
Search
Benjamin C. Pierce
Benjamin C. Pierce's books
Types and Programming Languages
4.27 avg rating — 579 ratings
Basic Category Theory for Computer Scientists
3.57 avg rating — 138 ratings
Advanced Topics in Types and Programming Languages
3.98 avg rating — 49 ratings
Software Foundations
4.59 avg rating — 41 ratings
Software Foundations, Volume 1: Logical Foundations
4.76 avg rating — 25 ratings
Software Foundations, Volume 2: Programming Language Foundations
4.09 avg rating — 11 ratings
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)
liked it 3.00 avg rating — 1 rating
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
it was ok 2.00 avg rating — 1 rating
Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce(1991-08-07)
0.00 avg rating — 0 ratings
Benjamin C. Pierce's series
Software Foundations
(4 books)
4.44 avg rating — 39 ratings