000173820 001__ 173820
000173820 005__ 20190316235258.0
000173820 037__ $$aREP_WORK
000173820 245__ $$aLightweight Polymorphic Effects - Proofs
000173820 269__ $$a2012
000173820 260__ $$c2012
000173820 336__ $$aReports
000173820 520__ $$aThis technical report presents the full proofs for the type preservation and effect soundness theorems of the type system presented in the article "Lightweight Polymorphic Effects".
000173820 700__ $$0243344$$g154104$$aRytz, Lukas
000173820 700__ $$0241835$$g126003$$aOdersky, Martin
000173820 700__ $$aHaller, Philipp$$g172057$$0240993
000173820 8564_ $$uhttps://infoscience.epfl.ch/record/173820/files/proofs_1.pdf$$zn/a$$s340076$$yn/a
000173820 909C0 $$xU10409$$0252187$$pLAMP
000173820 909CO $$ooai:infoscience.tind.io:173820$$qGLOBAL_SET$$pIC$$preport
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 917Z8 $$x154104
000173820 937__ $$aEPFL-REPORT-173820
000173820 973__ $$sPUBLISHED$$aEPFL
000173820 980__ $$aREPORT