Nie jesteś zalogowany |
Rozszerzenia systemu typów Rusta
- Prelegent(ci)
- Andrzej Radźmiński
- Afiliacja
- MIM
- Język referatu
- polski
- Termin
- 11 grudnia 2026 12:15
- Pokój
- p. 5450
- Tytuł w języku angielskim
- Extensions of Rust type system
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
