News for hackers. Stuff that matters.

A comment on Principles of Programming Languages (1997) [pdf]. Parent comment

Re:Principles of Programming Languages (1997) [pdf] by siraben on Sunday July 05, 2020 @07:09AM (#23737876)
I'd also add

* Essentials of Programming Languages by Friedman and Wand http://eopl3.com/

It's quite accessible and has an emphasis on executable implementations. Covers quite a wide variety of paradigms, FP, FP with mutation, type checking, type inference, and objects and classes.

[ Parent | on HN ]
Re:Principles of Programming Languages (1997) [pdf] by tom_mellior on Sunday July 05, 2020 @08:17AM (#23738121)
Another good one is:

* Concrete Semantics by Nipkow and Klein http://concrete-semantics.org/, which is also an introduction to the Isabelle/HOL proof assistant and formalizes all of the PL content in Isabelle

There's also:

* Semantics with Applications: An Appetizer by Nielson and Nielson https://www.springer.com/gp/book/9781846286919, apparently a newer edition of an older book I liked and which used to be available as a free PDF, but the link from my browser history is now broken

[ Parent | on HN ]