Master’s Thesis Presentation • Programming Languages • Type-Safe Tree Transformations for Precisely-Typed Compilers
Please note: This master’s thesis presentation will take place in DC 3317.
Pedro Oliveira, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Ondřej Lhoták