A Paper about MinCaml
Slides
Downloading the MinCaml Compiler
Frequently Asked Questions
Efficiency Comparison
A Crash Course for the MinCaml Compiler
What is This?
The Makefile of MinCaml Compiler
Main Routine
The Syntax and Types of MinCaml
Policy of Compilation
Lexical Analysis
Parsing
Type Inference
K-Normalization
α-Conversion
β-Reduction
Reduction of Nested let
Inline Expansion
Constant Folding
Elimination of Unnecessary Definitions
Closure Conversion
Virtual Machine Code Generation
13-Bit Immediate Optimization
Register Allocation
Assembly Generation
© Eijiro Sumii
<eijiro.sumii AT gmail.com>