Christopher Strachey
One of the founders of denotational semantics and a pioneer in programming language design.
Sean Allen
Your friendly reminder that if you aren't reading Eric's newsletter, you are missing out…
Your friendly reminder that if you aren't reading Eric's newsletter, you are missing out…
👍 ❤️
Nicolas Hery
Lots of great content in the latest newsletter! Really glad I subscribed. Thanks, Eric, for your work.
Lots of great content in the latest newsletter! Really glad I subscribed. Thanks, Eric, for your work.
👍 ❤️
Mathieu Gagnon
Eric's newsletter is so simply great. Love it!
Eric's newsletter is so simply great. Love it!
👍 ❤️
Toward a mathematical semantics for computer languages
PDFPaperA book is also available here