Cătălin Hriţcu

2 books

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

Software Foundations, Volume 1: Logical Foundations

Software Foundations #1

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

325 pages • 2017

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

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations #2

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

missing page info • 2017

computer science informative lighthearted reflective medium-paced