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.
Interpreters
Where I've used it:
Where I've used it:
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.