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