000175546 001__ 175546
000175546 005__ 20190316235323.0
000175546 037__ $$aREP_WORK
000175546 245__ $$aRelative Effect Declarations for Lightweight Effect-Polymorphism
000175546 269__ $$a2012
000175546 260__ $$c2012
000175546 336__ $$aReports
000175546 520__ $$aType-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. A major roadblock in adopting effect systems in popular languages is the tradeoff between expressiveness and verbosity. In this technical report, we present a syntactically lightweight but expressive system for annotating effect-polymorphic behavior of functions. The presented system is independent from any specific effect domains and can be embedded in an extensible type-and-effect system.
000175546 700__ $$0243344$$g154104$$aRytz, Lukas
000175546 700__ $$aOdersky, Martin$$g126003$$0241835
000175546 8564_ $$uhttps://infoscience.epfl.ch/record/175546/files/rel-eff_1.pdf$$zPublisher's version$$s423141$$yPublisher's version
000175546 909C0 $$xU10409$$0252187$$pLAMP
000175546 909CO $$qGLOBAL_SET$$pIC$$ooai:infoscience.tind.io:175546$$preport
000175546 917Z8 $$x154104
000175546 917Z8 $$x154104
000175546 937__ $$aEPFL-REPORT-175546
000175546 973__ $$sPUBLISHED$$aEPFL
000175546 980__ $$aREPORT