Sumários
Lecture 26: Mini-projects. Discussion and solutions of the model test. Conclusion.
29 maio 2019, 09:30 • João Fernando Ferreira
Students presented their mini-projects.
Practical Session 12: Simply Typed Lambda Calculus
27 maio 2019, 14:00 • João Fernando Ferreira
Encoding of the Simply Typed Lambda Calculus and some extensions (such as let bindings).
Lecture 25: Discussion and solutions of the model test. Consolidation.
27 maio 2019, 11:00 • João Fernando Ferreira
Discussion and solutions of the model test. Consolidation.
Practical Session 12: Simply Typed Lambda Calculus
27 maio 2019, 08:00 • João Fernando Ferreira
Encoding of the Simply Typed Lambda Calculus and some extensions (such as let bindings).
Lecture 24: Typechecking + Subtyping
22 maio 2019, 09:30 • João Fernando Ferreira
Exercises on typechecking.
Encoding of a typechecking algorithm.