No class

9 Outubro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

No class

---

No class

9 Outubro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

No class

---

Untyped and typed arithmetic expressions

2 Outubro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Untyped and typed arithmetic expressions

---

Typed arithmetic expressions

2 Outubro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Safety = Progress + Preservation

---

Untyped arithmetic expressions

25 Setembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Untyped arithmetic expressions

---