1. Glynn Winskel. The Formal Semantics of Programming Languages - An Introduction. MIT Press, 1993. ISBN 978-0-262-73103-4
  2. Robert Harper. Practical Foundations for Programming Languages. Cambridge University Press, 2016. ISBN 978-1-107-15030-0
  3. Shriram Krishnamurthi. Programming Languages: Application and Interpretation (2nd edition) Open Textbook Library, 2017

Further Reading#

  1. Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002. ISBN 0-262-16209-1
  2. Matthias Felleisen, Robert Findler, Matthew Flatt, Shriram Krishnamurthi. How to Design Programs - An Introduction to Programming and Computing (2nd edition). 2018. ISBN 978-0-262-53480-2
  3. Tobias Nipkow, Gerwin Klein. Concrete Semantics (with Isabelle/HOL). Springer, 2014. ISBN 978-3-319-10541-3 http://concrete-semantics.org

Tools#

bars search times arrow-up