Session types

14 Dezembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Session types

Session types (types for message passing concurrency); Affine type systems, shared memory concurrency and the RUST programming language

14 Dezembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Session types (types for message passing concurrency); Affine type systems, shared memory concurrency and the RUST programming language

Linear types

7 Dezembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Linear types

Linear types

7 Dezembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Linear types

Universal types

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

Universal types