Typechecking Examples

4 Abril 2023, 15:00 • Alcides Fonseca

Practice the implementation of a type checker:
  • Representing the Scope/Context
  • Defining a recursive function
  • The visitor pattern

(Class in self-study mode, as the instructor could not speak loudly)