000186425 001__ 186425
000186425 005__ 20190316235631.0
000186425 037__ $$aCONF
000186425 245__ $$aA Flow-Insensitive, Modular Effect System for Purity
000186425 269__ $$a2013
000186425 260__ $$c2013
000186425 336__ $$aConference Papers
000186425 520__ $$aThis article presents a modular, flow-insensitive type-and- effect system for purity with lightweight annotations. It does not enforce a global programming discipline and allows ar- bitrary effects to occur in impure parts of the program. The system is designed to support higher-order languages that mix functional and imperative code, such as Scala or C#. We show that it can express purity of non-local programming patterns which involve mutable state such as those used in the Scala collections library. We formalize the type system using a functional language with mutable records and define a dynamic semantics, a type safety and an effect soundness theorem.
000186425 6531_ $$apurity
000186425 6531_ $$atype-and-effect systems
000186425 700__ $$0243344$$g154104$$aRytz, Lukas
000186425 700__ $$0246589$$g164625$$aAmin, Nada
000186425 700__ $$aOdersky, Martin$$g126003$$0241835
000186425 7112_ $$dJuly 1, 2013$$cMontpellier, France$$aFormal Techniques for Java-like Programs
000186425 8564_ $$uhttps://infoscience.epfl.ch/record/186425/files/purity-ftfjp13.pdf$$zn/a$$s309913$$yn/a
000186425 909C0 $$xU10409$$0252187$$pLAMP
000186425 909CO $$ooai:infoscience.tind.io:186425$$qGLOBAL_SET$$pconf$$pIC
000186425 917Z8 $$x154104
000186425 917Z8 $$x154104
000186425 917Z8 $$x154104
000186425 937__ $$aEPFL-CONF-186425
000186425 973__ $$rREVIEWED$$sACCEPTED$$aEPFL
000186425 980__ $$aCONF