Sumários
Session types and the Freest programming language
10 Dezembro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Exercise sheet 8, all exercises
Affine type systems and the RUST programming language
10 Dezembro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
- Programming Rust, chapters 4, 5, 11, 13
- The Rust Programming Language, chapters 4, 10