A type system for run-time identity functions
Master Project
of José Padilla Cancio
Thesis
https://resolver.tudelft.nl/uuid:e6d5e4a8-6df5-4867-ad9b-4ac77cdc2512
A type system for run-time identity functions
Student: José Padilla Cancio
Supervisor(s): Bohdan Liesnikov, Jesper Cockx