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>