Principles of Programming Languages (1997) [pdf]

Re:Principles of Programming Languages (1997) [pdf] by opus132 on Saturday July 04, 2020 @08:18PM (#23735791)

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

[ Parent | on HN ]

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 ]

Re:Principles of Programming Languages (1997) [pdf] by matt_d on Sunday July 05, 2020 @05:22AM (#23737540)

General Program Analysis Resources may also be of interest: https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678dd...

[ Parent | on HN ]