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 Add in missing page information • first pub 2017 (editions)

computer science informative lighthearted reflective medium-paced
Powered by AI (Beta)
Loading...

Description

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Programming Language Foundations, surveys the theory of programming languages, including operational semantics, Hoare logic, and static ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...