Compiling a Lisp: Overture | Max Bernstein
JIT compiling a subset of Python to x86-64
Adventures in JIT compilation: Part 2 - an x64 JIT - Eli Bendersky's website
x86-64-reference.pdf
Let's build an LC-3 Virtual Machine :: Rodrigo Araujo — Computer Scientist and Software Engineer
CMSC 430
Is there any academic research on imperative programming languages? : ProgrammingLanguages
www.cs.umd.edu
Closure Conversion as CoYoneda
15-501/15-819 HOT Compilation, Fall 2006
Closure conversion: How to compile lambda
Lambda lifting - Wikipedia
GC FAQ -- algorithms
We Need Simpler Types | rasie1's blog
A taste of Haskell
verse-conf.pdf
Great Works in Programming Languages
Research Documents
Research topics - Programming languages
Approachable PL Papers for Undergrads
Classic Papers in Programming Languages and Logic
[MLton-devel] new GC object layout
Memory Representation of Values - Real World OCaml
Microsoft Word - VFNJBRHXVD
A Theory for Communicating, Sequential Processes in Coq
Programming with Monadic CSP-Style Processes in Dependent Type Theory
APL Cornell
CS 6120
compile time memory management models : ProgrammingLanguages
What does it mean to have an "algebraic" type system? : ProgrammingLanguages