{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:56Z","timestamp":1772164076200,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"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":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814315","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"935-953","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Customizable gradual polymorphic effects for Scala"],"prefix":"10.1145","author":[{"given":"Mat\u00edas","family":"Toro","sequence":"first","affiliation":[{"name":"University of Chile, Chile"}]},{"given":"\u00c9ric","family":"Tanter","sequence":"additional","affiliation":[{"name":"University of Chile, Chile"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328449"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_2_4_1","unstructured":"ACM Press.  ACM Press."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167479"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628149"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190320"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_2_2_9_1","volume-title":"Workshop on Revival of Dynamic Languages","author":"Bracha G.","year":"2004","unstructured":"G. Bracha . Pluggable type systems . In Workshop on Revival of Dynamic Languages , 2004 . G. Bracha. Pluggable type systems. In Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353448"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_2_13_1","volume-title":"International Workshop on Scripts to Programs","author":"Disney T.","year":"2011","unstructured":"T. Disney and C. Flanagan . Gradual information flow typing . In International Workshop on Scripts to Programs , 2011 . T. Disney and C. Flanagan. Gradual information flow typing. In International Workshop on Scripts to Programs, 2011."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.01.003"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685028"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.22"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629609"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_8"},{"key":"e_1_3_2_2_20_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2003","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification , Third Edition. Addison-Wesley , 2003 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison-Wesley, 2003."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/574212"},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001","author":"Kiczales G.","year":"2072","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. Griswold . An overview of AspectJ. In J. L. Knudsen, editor , Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001 ), number 2072 in Lecture Notes in Computer Science, pages 327\u2013353, Budapest, Hungary , June 2001. Springer-Verlag. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001), number 2072 in Lecture Notes in Computer Science, pages 327\u2013353, Budapest, Hungary, June 2001. Springer-Verlag."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253431"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_2_26_1","first-page":"106","volume-title":"Proceedings of the IMSA 92 Workshop on Reflection and Meta-Level Architectures","author":"Lamping J.","unstructured":"J. Lamping , G. Kiczales , L. H. R. Jr. , and E. Ruf . An architecture for an open compiler . In Proceedings of the IMSA 92 Workshop on Reflection and Meta-Level Architectures , pages 95\u2013 106 . Akinori Yonezawa and Brian C. Smith, editors, 1992. J. Lamping, G. Kiczales, L. H. R. Jr., and E. Ruf. An architecture for an open compiler. In Proceedings of the IMSA 92 Workshop on Reflection and Meta-Level Architectures, pages 95\u2013106. Akinori Yonezawa and Brian C. Smith, editors, 1992."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481868"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","unstructured":"J.\n      Matthews\n     and \n      A.\n      Ahmed\n  . \n  Parametric polymorphism through run-time sealing or theorems for low low prices! In S\n  . Drossopoulou editor Proceedings of the 17th European Symposium on Programming Languages and Systems (ESOP \n  2008\n  ) volume \n  4960\n   of \n  Lecture Notes in Computer Science pages 16\u2013\n  31 Budapest Hungary 2008. \n  Springer-Verlag\n  .   J. Matthews and A. Ahmed. Parametric polymorphism through run-time sealing or theorems for low low prices! In S. Drossopoulou editor Proceedings of the 17th European Symposium on Programming Languages and Systems (ESOP 2008) volume 4960 of Lecture Notes in Computer Science pages 16\u201331 Budapest Hungary 2008. Springer-Verlag.","DOI":"10.1007\/978-3-540-78739-6_2"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_2_31_1","unstructured":"L. Rytz. A Practical Effect System for Scala. PhD thesis \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne Sept. 2013.  L. Rytz. A Practical Effect System for Scala. PhD thesis \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne Sept. 2013."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489804.2489808"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_13"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_29"},{"key":"e_1_3_2_2_35_1","first-page":"92","volume-title":"Proceedings of the Scheme and Functional Programming Workshop","author":"Siek J.","year":"2006","unstructured":"J. Siek and W. Taha . Gradual typing for functional languages . In Proceedings of the Scheme and Functional Programming Workshop , pages 81\u2013 92 , Sept. 2006 . J. Siek and W. Taha. Gradual typing for functional languages. In Proceedings of the Scheme and Functional Programming Workshop, pages 81\u201392, Sept. 2006."},{"key":"e_1_3_2_2_36_1","series-title":"Lecture Notes in Computer Science","first-page":"66","volume-title":"Proceedings of the 23rd European Symposium on Programming Languages and Systems (ESOP","author":"Thiemann P.","year":"2014","unstructured":"P. Thiemann and L. Fennell . Gradual typing for annotated type systems . In Z. Shao, editor, Proceedings of the 23rd European Symposium on Programming Languages and Systems (ESOP 2014 ), volume 8410 of Lecture Notes in Computer Science , pages 47\u2013 66 , Grenoble, France , 2014. Springer-Verlag . P. Thiemann and L. Fennell. Gradual typing for annotated type systems. In Z. Shao, editor, Proceedings of the 23rd European Symposium on Programming Languages and Systems (ESOP 2014), volume 8410 of Lecture Notes in Computer Science, pages 47\u201366, Grenoble, France, 2014. Springer-Verlag."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739230.1739233"},{"key":"e_1_3_2_2_39_1","unstructured":"Typesafe Inc. Slick functional relational mapping for Scala. http:\/\/slick.typesafe.com\/.  Typesafe Inc. Slick functional relational mapping for Scala. http:\/\/slick.typesafe.com\/."},{"key":"e_1_3_2_2_40_1","unstructured":"Typesafe Inc. Play framework 2007. http:\/\/www. playframework.com\/.  Typesafe Inc. Play framework 2007. http:\/\/www. playframework.com\/."}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814315","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":39,"alternative-id":["10.1145\/2814270.2814315","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814315","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814315","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}