CS 4410/6410: Compiler Design
How to compile with continuations
Memoizing recursive functions via the fixed-point Y combinator: Applying functional programming techniques to Javascript
By example: Continuation-passing style in JavaScript
Coroutines, exceptions, time-traveling search, generators and threads: Continuations by example
Compiling up to the λ-calculus: Church encodings and the Y combinator
A-Normalization: Why and How (with code)
Internals of the Nim Compiler
Go internal ABI specification
A Quick Primer — Mapping High Level Constructs to LLVM IR documentation
haskell - What is the combinatory logic equivalent of intuitionistic type theory? - Stack Overflow
jamestmartin/desert-of-the-surreal at f2ed2571ea1b7c3452ccf5594d74c20b540775f9
Holbert
A Crash Course for the MinCaml Compiler
The Original 'Lambda Papers' by Guy Steele and Gerald Sussman
VictorTaelin/Symmetric-Interaction-Calculus: A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
compilation - how to compile opencl project with kernels - Stack Overflow
"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke - YouTube
The story of ispc: origins (part 1)
c++ - How to implement tail calls in a custom VM - Stack Overflow
A Guide to the Go Garbage Collector - The Go Programming Language
Getting to Go: The Journey of Go's Garbage Collector - The Go Programming Language
Tony Hoare Contributions CSP
Index of /~aldrich/courses/17-355-17sp/notes
Nadia Polikarpova
How and where to learn the latest mathematical concepts? : haskell
rfc/fun-compilers.md at master · soupi/rfc
Compiling a Functional Language Using C++, Part 0 - Intro
Introduction - The Rustonomicon
Mutable Variables | LLVM: Implementing a Language