README.md

Programming Language Design and Implementation

(Up) | See also: Type Systems, Partial Evaluation, Compiler Construction, Programming Languages, Attribute Grammars

Web resources

CMSC 430: Design and Implementation of Programming Languages: Notes ★

programming languages - Structural equivalence of self-referential structures - Computer Science Stack Exchange ★

Borrow checking, escape analysis, and the generational hypothesis ★

Programming Language Foundations (University of Iowa - 22C: 123 - Graduate Course) ★

An opinionated history of programming languages \| artagnon.com ★

CSE 40431/60431: Programming Languages (2022 course notes) ★

language design - Why F#, Rust and Others Use Option Type Instead Of Nullable types like C# 8 Or TypeScript? - Software Engineering Stack Exchange ★

language design - Why do \"checked exceptions\", i.e., \"value-or-error return values\", work well in Rust and Go but not in Java? - Software Engineering Stack Exchange ★

Compilation

compiling - Do C compilers discard unused functions when statically linking to .a file? - Unix & Linux Stack Exchange ★

What blocks Ruby, Python to get Javascript V8 speed? - Stack Overflow ★

Why is JavaScript not compiled to bytecode before sending over the network? - Software Engineering Stack Exchange ★

Repositories

ibrahimsag/rw: an experiment in presenting code. ★★★

ebuswell/noneleatic: Noneleatic (Mutable State) Languages ★

Papers

Fundamental Concepts in Programming Languages (online @ ics.uci.edu) 🏛️ 💭

Definitional interpreters for higher-order programming languages (online @ homepages.inf.ed.ac.uk) 🏛️ 💭

Trampolined style (online @ dl.acm.org) ★★★ 💭

(in Name Binding) A Metalanguage for Programming with Bound Names Modulo Renaming

(in Theorem Proving) Theorem proving support in programming language semantics (online @ arxiv.org) ★ 💭

Books

A Practical Introduction to Denotational Semantics (borrow @ archive.org) ★★★ 💭

Formal Syntax and Semantics of Programming Languages (borrow @ archive.org) ★★★ 💭

Theories of Programming Languages (borrow @ archive.org) ★★ 💭

Threaded Interpretive Languages (online @ archive.org)

(in Philosophy) The Cognitive Connection: Thought and Language in Man and Machine (borrow @ archive.org) ★★★ 💭