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
Uniqueness and Reference Immutability for Safe Parallelism
https://www.cs.drexel.edu/~csg63/papers/oopsla12.pdf
Programming with Permissions in Mezzo
https://arxiv.org/pdf/1311.7242
Oxidizing OCaml with Modal Memory Management
https://antonlorenzen.de/mode-inference.pdf
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Martin Odersky
Co-examiner: Prof. Clément Pit-Claudel
Abstract
coming soon
Background papers
Uniqueness and Reference Immutability for Safe Parallelism
https://www.cs.drexel.edu/~csg63/papers/oopsla12.pdf
Programming with Permissions in Mezzo
https://arxiv.org/pdf/1311.7242
Oxidizing OCaml with Modal Memory Management
https://antonlorenzen.de/mode-inference.pdf
Practical information
- General public
- Free