000196412 001__ 196412
000196412 005__ 20190509132502.0
000196412 0247_ $$2doi$$a10.5075/epfl-thesis-5935
000196412 02470 $$2urn$$aurn:nbn:ch:bel-epfl-thesis5935-6
000196412 02471 $$2nebis$$a10062334
000196412 037__ $$aTHESIS
000196412 041__ $$aeng
000196412 088__ $$a5935
000196412 245__ $$aA Practical Effect System for Scala
000196412 269__ $$a2014
000196412 260__ $$aLausanne$$bEPFL$$c2014
000196412 336__ $$aTheses
000196412 502__ $$aProf. F. Eisenbrand (président); Prof. M. Odersky (directeur); Prof. V. Kuncak, Prof. O. Lhotak, Prof. P. Müller (rapporteurs)
000196412 6531_ $$atype-and-effect systems
000196412 6531_ $$aeffect-polymorphism
000196412 6531_ $$aeffect annotations
000196412 6531_ $$apurity
000196412 6531_ $$aScala
000196412 6531_ $$acompiler plugins
000196412 6531_ $$apluggable type systems
000196412 6531_ $$atype systems
000196412 6531_ $$aprogram analysis
000196412 700__ $$0243344$$aRytz, Lukas$$g154104
000196412 720_2 $$0241835$$aOdersky, Martin$$edir.$$g126003
000196412 8564_ $$s809019$$uhttps://infoscience.epfl.ch/record/196412/files/EPFL_TH5935.pdf$$yn/a$$zn/a
000196412 909C0 $$0252187$$pLAMP$$xU10409
000196412 909CO $$ooai:infoscience.tind.io:196412$$pthesis$$pDOI$$pIC$$qDOI2$$qthesis-bn2018$$qGLOBAL_SET
000196412 917Z8 $$x108898
000196412 917Z8 $$x108898
000196412 918__ $$aIC$$cIIF$$dEDIC2005-2015
000196412 919__ $$aLAMP1
000196412 920__ $$a2014-2-7$$b2014
000196412 970__ $$a5935/THESES
000196412 973__ $$aEPFL$$sPUBLISHED
000196412 980__ $$aTHESIS