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$$aRytz, Lukas$$g154104
000173820 700__ $$0241835$$aOdersky, Martin$$g126003
000173820 700__ $$0240993$$aHaller, Philipp$$g172057
000173820 8564_ $$s340076$$uhttps://infoscience.epfl.ch/record/173820/files/proofs_1.pdf$$yn/a$$zn/a
000173820 909C0 $$0252187$$pLAMP$$xU10409
000173820 909CO $$ooai:infoscience.tind.io:173820$$pIC$$preport$$qGLOBAL_SET
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__ $$aEPFL$$sPUBLISHED
000173820 980__ $$aREPORT