Simple extensions

5 Novembro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercise sheet 4, exercises 5 to 8, 18 to 21 

---

Subtyping

5 Novembro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Subsumption and the subtype relation
• Properties of subtyping and typing
• The top and bottom types

---

Simple extensions

29 Outubro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercise sheet 4, (Simple extensions) exercises 1 to 4 and 9-17 

---

Simple extensions

29 Outubro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

tuples, records, variants, general recursion.

---

The lambda calculus

22 Outubro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Exercise sheet 2 (Untyped lambda-calculus), exercises 2, 4, 8, 9, 12, 13, 14, 15, 16, 17.
• Exercise sheet 3 (Typed lambda-calculus), all exercises

---