Odersky, MartinShabalin, Denys2016-01-192016-01-192016-01-192014https://infoscience.epfl.ch/handle/20.500.14299/122354The main contribution of this work is a formal model of hygienic name resolution and macro system that is flexible enough to provide missing safety to quasiquotes. This makes it possible to combine the best of two worlds: we get reasonable safety guarantees without sacrificing the notational convenience of quasiquotes.hygienequasiquotesmacrosmeta-programmingastscalastudent work::master thesis