-
Open ↗
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
Topics: Software engineering
-
Open ↗
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
Topics: Software engineering
-
Open ↗
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq
by Leonidas Lampropoulos , Benjamin C Pierce
Topics: Property based testing , Coq , Software engineering