Odersky, MartinRytz, Lukas2014-02-032014-02-03201410.5075/epfl-thesis-5935https://infoscience.epfl.ch/handle/20.500.14299/100337urn:nbn:ch:bel-epfl-thesis5935-6entype-and-effect systemseffect-polymorphismeffect annotationspurityScalacompiler pluginspluggable type systemstype systemsprogram analysisA Practical Effect System for Scalathesis::doctoral thesis