Books by Benjamin C Pierce

3 books

Software Foundations Vol 2: Programming Language Foundations

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

Software engineering

Read
Software Foundations Vol 1: Logical Foundations

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

Software engineering

Read
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq

by Leonidas Lampropoulos , Benjamin C Pierce

Property based testing Coq Software engineering

Read