COMPILERS
github ↗
Type Inference for COOL
An interpreter for the COOL programming language extended with automatic type inference: declare a variable as AUTO_TYPE and the system deduces what it must be.
~ / skills / semantic analysis
Semantic Analysis
Where I've used it: