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)

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)