devlibrary
Authors
/ Arthur Azevedo de Amorim
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