(1) How to build a compiler with LLVM and MLIR - YouTube
(1) Simon Peyton Jones how GHC type inference engine actually works - YouTube
(1) Type Inference from Scratch: A Workshop with Christoph Hegemann - YouTube
(1) f(by) 2019 - Christoph Hegemann, TYPE INFERENCE FROM SCRATCH - YouTube
Tracing the compilation of Hello Factorial! : ezyang’s blog
(3) 2019 - Security-Typed Languages - Andrew Myers - YouTube
(3) 2021 - Information-flow Control Libraries - Alejandro Russo - YouTube
Data-flow analysis - Wikipedia
Compilers - What Every Programmer Should Know About Compiler Optimizations | Microsoft Docs
L2-Intro-to-Dataflow
Home — Memory Management Reference 4.0 documentation
Chocopy Hacking Part 2: Building a JVM Backend
UCSD CSE231 – Advanced Compiler Design
CSE 231: Advanced Compilers
spencertipping/jit-tutorial: How to write a very simple JIT compiler
CSE 231
intro-to-polyhedral-model.pdf
Polly - Polyhedral optimizations for LLVM
NimishMishra/llvm-patches: A bunch of things related to my work on LLVM compiler infrastructure
LLVM Tutorial: Table of Contents — LLVM 15.0.0git documentation
A Complete Guide to LLVM for Programming Language Creators
AsmJit
CS 4110: Schedule
yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
Matija Pretnar
Andrej Bauer
Is LLVM a good backend for Functional languages? : ProgrammingLanguages
jdreaver/amy: Strict Haskell-like programming language that compiles to LLVM
cmu compilers
CS243 - Program Analysis and Optimizations