Software Foundations Series
4 primary works • 4 total worksBook 1
Software Foundations, Volume 1: Logical Foundations Benjamin C. Pierce
4.76 avg. rating · 25 Ratings
Book 2
Software Foundations, Volume 2: Programming Language Foundations Benjamin C. Pierce
4.09 avg. rating · 11 Ratings
Book 3
Software Foundations, Volume 3: Verified Functional Algorithms Andrew W. Appel
3.5 avg. rating · 2 Ratings
Book 4
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq Leonidas Lampropoulos
2 avg. rating · 1 Ratings