Session types and the Freest programming language

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

Session types and the Freest programming language

---

Universal types

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

Exercise sheet 6

---

Linear types

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

Linear types

---

Subtyping

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

Exercise sheet 5, all exercises

---

Universal types

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

• Varieties of polymorphism
• System F, the second order lambda calculus
• Examples
• The Freest programming language

---