Affine type systems, shared memory concurrency and the RUST programming language

18 Dezembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Affine type systems, shared memory concurrency and the RUST programming language

---

Affine type systems, shared memory concurrency and the RUST programming language

18 Dezembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Affine type systems, shared memory concurrency and the RUST programming language

---

Message Passing Concurrency and Session types

11 Dezembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Message Passing Concurrency and Session types

---

Message passing concurrency: session types and the GO programming language

11 Dezembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Message passing concurrency: session types and the GO programming language

---

Universal types

4 Dezembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Universal types

---