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__ $$bEPFL$$c2014$$aLausanne
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$$g154104$$aRytz, Lukas
000196412 720_2 $$aOdersky, Martin$$edir.$$g126003$$0241835
000196412 8564_ $$uhttps://infoscience.epfl.ch/record/196412/files/EPFL_TH5935.pdf$$zn/a$$s809019$$yn/a
000196412 909C0 $$xU10409$$0252187$$pLAMP
000196412 909CO $$pthesis$$pDOI$$pIC$$ooai:infoscience.tind.io:196412$$qDOI2$$qthesis-bn2018$$qGLOBAL_SET
000196412 917Z8 $$x108898
000196412 917Z8 $$x108898
000196412 918__ $$dEDIC2005-2015$$cIIF$$aIC
000196412 919__ $$aLAMP1
000196412 920__ $$b2014$$a2014-2-7
000196412 970__ $$a5935/THESES
000196412 973__ $$sPUBLISHED$$aEPFL
000196412 980__ $$aTHESIS