5 ms·

This seems pretty good from a brief flick through; the author. Graham Hutton, is pretty well known in the CS community. Some other resources for people who fin

This seems pretty good from a brief flick through; the author. Graham Hutton, is pretty well known in the CS community. Some other resources for people who find that this piques their interest and that they want to go deeper: * Formal Reasoning About Programs ("FRAP") by Adam Chlipala - available for free here: http://adam.chlipala.net/frap/ http://adam.chlipala.net/frap/. Forms the basis for 6.822 at MIT, and comes with an accompanying Coq formalisation (as well as psets in Coq). * The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel.

matt_d 6y ago
General Program Analysis Resources may also be of interest: https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef#program-analysis-resources https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678dd...
siraben 6y ago
I'd also add * Essentials of Programming Languages by Friedman and Wand http://eopl3.com/ 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.
- tom_mellior 6y ago
  Another good one is: * Concrete Semantics by Nipkow and Klein http://concrete-semantics.org/ 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 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