{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:58Z","timestamp":1763468158118,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1145\/2489804.2489808","type":"proceedings-article","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T14:33:48Z","timestamp":1372775628000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A flow-insensitive, modular effect system for purity"],"prefix":"10.1145","author":[{"given":"Lukas","family":"Rytz","sequence":"first","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nada","family":"Amin","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"W.\n      Dietl S.\n      Drossopoulou and \n      P.\n      M\u00fcller\n  . \n  Generic universe types\n  . In E. Ernst editor ECOOP \n  2007\n   -- Object-Oriented Programming volume \n  4609\n   of \n  Lecture Notes in Computer Science pages \n  28\n  --\n  53\n  . \n  Springer Berlin Heidelberg 2007.   W. Dietl S. Drossopoulou and P. M\u00fcller. Generic universe types. In E. Ernst editor ECOOP 2007 -- Object-Oriented Programming volume 4609 of Lecture Notes in Computer Science pages 28--53. Springer Berlin Heidelberg 2007.","DOI":"10.1007\/978-3-540-73589-2_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/173262.155113"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384680"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178246"},{"key":"e_1_3_2_1_9_1","unstructured":"D. Leijen. Koka: A language with effect inference. http:\/\/research.microsoft.com\/en-us\/projects\/koka\/2012-overviewkoka.pdf April 2012.  D. Leijen. Koka: A language with effect inference. http:\/\/research.microsoft.com\/en-us\/projects\/koka\/2012-overviewkoka.pdf April 2012."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481868"},{"key":"e_1_3_2_1_11_1","unstructured":"M. Might. Writing an interpreter CESK-style. http:\/\/matt.might.net\/articles\/cesk-machines\/.  M. Might. Writing an interpreter CESK-style. http:\/\/matt.might.net\/articles\/cesk-machines\/."},{"key":"e_1_3_2_1_12_1","unstructured":"M. Odersky. The Scala language specification. http:\/\/www.scala-lang.org\/archives\/downloads\/distrib\/files\/nightly\/pdfs\/ScalaReference.pdf 2013.  M. Odersky. The Scala language specification. http:\/\/www.scala-lang.org\/archives\/downloads\/distrib\/files\/nightly\/pdfs\/ScalaReference.pdf 2013."},{"key":"e_1_3_2_1_13_1","first-page":"427","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), volume 4 of Leibniz International Proceedings in Informatics (LIPIcs)","author":"Odersky M.","year":"2009","unstructured":"M. Odersky and A. Moors . Fighting bit rot with types (experience report: Scala collections). In R. Kannan and K. N. Kumar, editors , IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), volume 4 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 427 -- 451 , Dagstuhl, Germany , 2009 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. M. Odersky and A. Moors. Fighting bit rot with types (experience report: Scala collections). In R. Kannan and K. N. Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), volume 4 of Leibniz International Proceedings in Informatics (LIPIcs), pages 427--451, Dagstuhl, Germany, 2009. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328451"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-642-19861-8_7","volume-title":"Compiler Construction","author":"Pearce D.","year":"2011","unstructured":"D. Pearce . JPure : A modular purity system for Java . In J. Knoop, editor, Compiler Construction , volume 6601 of Lecture Notes in Computer Science , pages 104 -- 123 . Springer Berlin Heidelberg , 2011 . D. Pearce. JPure: A modular purity system for Java. In J. Knoop, editor, Compiler Construction, volume 6601 of Lecture Notes in Computer Science, pages 104--123. Springer Berlin Heidelberg, 2011."},{"key":"e_1_3_2_1_16_1","volume-title":"Types and programming languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and programming languages . MIT Press , Cambridge, MA, USA , 2002 . B. C. Pierce. Types and programming languages. MIT Press, Cambridge, MA, USA, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_13"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_14"}],"event":{"name":"ECOOP '13: European Conference on Object-Oriented Programming","sponsor":["CNRS Centre National De La Rechercue Scientifique","UM2 University Montpellier 2","AITO Association Internationale pour les Technologies Objets","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montpellier France","acronym":"ECOOP '13"},"container-title":["Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2489804.2489808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:26Z","timestamp":1750235966000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":17,"alternative-id":["10.1145\/2489804.2489808","10.1145\/2489804"],"URL":"https:\/\/doi.org\/10.1145\/2489804.2489808","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"2013-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}