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

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations #2

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

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...