03 regalloc
CSc 553 Principles of Compilation
Erlang -- Erlang Garbage Collector
P144 gal
LaTTe: a Java VM just-in-time compiler with fast and efficient register allocation | IEEE Conference Publication | IEEE Xplore
Acc16 08 register allocation 4
blog.cfallin
Introducing Austral: A Systems Language with Linear Types and Capabilities
linfp.pdf
How Austral’s Linear Type Checker Works
Why golang garbage-collector not implement Generational and Compact gc?
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs | ACM Transactions on Software Engineering and Methodology
Generational GC | Mono
Beginner's Guide to Linkers
Writing a Simple Garbage Collector in C
(6) how should I go about writing an optimizing compiler? which books/papers do you recommend? : ProgrammingLanguages
Notes on Hindley-Milner polymorphism
c - Context switching - ucontext_t and makecontext() - Stack Overflow
What does it mean to have an "algebraic" type system? : ProgrammingLanguages
compile time memory management models : ProgrammingLanguages
CS 6120
APL Cornell
Programming with Monadic CSP-Style Processes in Dependent Type Theory
A Theory for Communicating, Sequential Processes in Coq
Microsoft Word - VFNJBRHXVD
Memory Representation of Values - Real World OCaml
[MLton-devel] new GC object layout
Classic Papers in Programming Languages and Logic
Approachable PL Papers for Undergrads
Research topics - Programming languages