~ / skills / type systems

Type Systems

Where I've used it:

PROJECTS

COOL Compiler to MIPS

A complete compiler for COOL, a statically-typed object-oriented language, from source code to runnable MIPS assembly through all four classic phases: lexing, parsing, semantic analysis, and code generation.

Python PLY Compilers Type Systems MIPS Assembly Visitor Pattern

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.

Python Flask Compilers Type Systems Semantic Analysis Interpreters