Programming Langauges Theory

Created: by Pradeep Gowda Updated: Jun 16, 2018

Notes on theory of programming languages.

Concepts See:


  • A path to Programming Language Theory enlightenment
  • Colin Stebbins Gordon’s Electronic References – “… loosely-categorized collection of links to PL (and related) texts and references that are available online because they are either openly shared publications (like PLAI, SF, or the HoTT book), first editions of updated books released to the world (like Programming in Scala or Semantics with Applications), thorough but out of print references (like TTFP), or publicly available drafts (like HtDC and Practical Foundations for Programming Languages). Most of these I’ve only used for brief personal reference, and have not read in depth. The exceptions, those books I’ve spent considerable time with and highly recommend, are marked with asterisks.”






Denotational Semantics