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