Sumários

Lecture 24: Subtyping + Conclusion

27 maio 2020, 09:30 • João Fernando Ferreira

Subtyping.

Presentation of Rafael Prates and Ricardo Graça's project on CHIP8.

Practical Session 12: Simply Typed Lambda Calculus

25 maio 2020, 15:30 • João Fernando Ferreira

Encoding of the Simply Typed Lambda Calculus and some extensions (such as let bindings).


Support for Coq Assessment 4.

Practical Session 12: Simply Typed Lambda Calculus

25 maio 2020, 14:00 • João Fernando Ferreira

Encoding of the Simply Typed Lambda Calculus and some extensions (such as let bindings).


Support for Coq Assessment 4.

Lecture 23: Typechecking

25 maio 2020, 11:00 • João Fernando Ferreira

Exercises on typechecking.
Encoding of a typechecking algorithm. 

Discussion on the soundness and completeness of the typechecking algorithm.

Lecture 22: Encoding in Coq of the Simply Typed Lambda Calculus (Part 2)

20 maio 2020, 09:30 • João Fernando Ferreira

Encoding in Coq of the Simply Typed Lambda Calculus (Part 2)