Master’s Thesis Presentation • Programming Languages • A Type System With Containers
Please note: This master’s thesis presentation will be given online.
Michael Thode, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Ondřej Lhoták