devlibrary
Authors
/ Benjamin C Pierce
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