Programming Langauges Theory

Created: Jun 16, 2018 by Pradeep Gowda. Updated: Jun 16, 2018

Notes on theory of programming languages.

Concepts See:

Formal specifictions of syntax
Static Program Analysis
Declarations and bindings
Allocations
Data types
Control structures
Control and data flow
Implementation and execution of programs
Program verification
Program Synthesis (See A Program Synthesis Primer)
Paradigms > - Imparative programming > - Functional programming > - Logic programming > - Object oriented programming

Metalists

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

Programming Language Foundations in Agda “This book is an introduction to programming language theory, written in Agda. The authors are Wen Kokke and Philip Wadler.” [Aug 2018]
Ken Slonnenger’s book (free) Syntax and Semantics of Programming Languages
Implementing Programming Langauges [pdf] by Aarne Ranta, 2012.