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 ★

Structural equivalence of self-referential structures ★

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) ★

Why F#, Rust and Others Use Option Type Instead Of Nullable types like C# 8 Or TypeScript? ★

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

Compilation

Do C compilers discard unused functions when statically linking to .a file? ★

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

Why is JavaScript not compiled to bytecode before sending over the network? ★

(in Formal Language) Is \"regex\" in modern programming languages really \"context sensitive grammar\"? ★

(in Python) Python Is Middleware ★ 💭

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 with print disabilities @ archive.org) ★★★ 💭

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

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

Threaded Interpretive Languages (online @ archive.org)

Programming Language Pragmatics (borrow @ archive.org, archive.org, archive.org)

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