Research Documents
Great Works in Programming Languages
verse-conf.pdf
A taste of Haskell
We Need Simpler Types | rasie1's blog
GC FAQ -- algorithms
Lambda lifting - Wikipedia
Closure conversion: How to compile lambda
15-501/15-819 HOT Compilation, Fall 2006
Closure Conversion as CoYoneda
www.cs.umd.edu
Is there any academic research on imperative programming languages? : ProgrammingLanguages
CMSC 430
CMSC 430
Let's build an LC-3 Virtual Machine :: Rodrigo Araujo — Computer Scientist and Software Engineer
x86-64-reference.pdf
Adventures in JIT compilation: Part 2 - an x64 JIT - Eli Bendersky's website
JIT compiling a subset of Python to x86-64
Compiling a Lisp: Overture | Max Bernstein
Mutable Variables | LLVM: Implementing a Language
Introduction - The Rustonomicon
Compiling a Functional Language Using C++, Part 0 - Intro
rfc/fun-compilers.md at master · soupi/rfc
How and where to learn the latest mathematical concepts? : haskell
Nadia Polikarpova
Index of /~aldrich/courses/17-355-17sp/notes
Tony Hoare Contributions CSP
Getting to Go: The Journey of Go's Garbage Collector - The Go Programming Language
A Guide to the Go Garbage Collector - The Go Programming Language
c++ - How to implement tail calls in a custom VM - Stack Overflow