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$$aRytz, Lukas$$g154104
000175546 700__ $$0241835$$aOdersky, Martin$$g126003
000175546 8564_ $$s423141$$uhttps://infoscience.epfl.ch/record/175546/files/rel-eff_1.pdf$$yPublisher's version$$zPublisher's version
000175546 909C0 $$0252187$$pLAMP$$xU10409
000175546 909CO $$ooai:infoscience.tind.io:175546$$pIC$$preport$$qGLOBAL_SET
000175546 917Z8 $$x154104
000175546 917Z8 $$x154104
000175546 937__ $$aEPFL-REPORT-175546
000175546 973__ $$aEPFL$$sPUBLISHED
000175546 980__ $$aREPORT