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