Sumários

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)


Building a Type Checker

4 Abril 2023, 13: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)


Type Theory

28 Março 2023, 15:00 Alcides Fonseca

Exercises for designing new type systems.


Formalization of Type Checking

28 Março 2023, 13:00 Alcides Fonseca



Parser Generators

21 Março 2023, 15:00 Alcides Fonseca