Sumários

Universal types

30 Novembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Universal types

Subtyping

23 Novembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Subtyping

Subtyping

23 Novembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Subtyping

Simple extensions

16 Novembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Simple extensions

Simple extensions

16 Novembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Simple extensions