Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers the implementation of a type checker in the compiler frontend, which catches errors at compile time and generates typing constraints to ensure program correctness. The process involves transforming a Nominal Tree into a Symbolic Tree, checking naming rules, and unifying constraints until none are left.