-
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