Software Foundations

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

Software Foundations, Volume 1: Logical Foundations

Software Foundations #1

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

325 pages • first pub 2017 (editions)

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

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations #2

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

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 Benjamin C. Pierce, Leonidas Lampropoulos
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
—
Benjamin C. Pierce, Leonidas Lampropoulos

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

Software Foundations #4

Benjamin C. Pierce, Leonidas Lampropoulos

missing page info • first pub 1873 (editions)

informative medium-paced
More...