Linear type system and its applications in programming languages
Event details
| Date | 19.08.2024 |
| Hour | 10:00 › 12:00 |
| Speaker | Yaoyu Zhao |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Martin Odersky
Co-examiner: Prof. Clément Pit-Claudel
Abstract
coming soon
Background papers
coming soon
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Martin Odersky
Co-examiner: Prof. Clément Pit-Claudel
Abstract
coming soon
Background papers
coming soon
Practical information
- General public
- Free