{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:27:19Z","timestamp":1767929239443,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642310560","type":"print"},{"value":"9783642310577","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_13","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"258-282","source":"Crossref","is-referenced-by-count":36,"title":["Lightweight Polymorphic Effects"],"prefix":"10.1007","author":[{"given":"Lukas","family":"Rytz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Haller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1328438.1328449","volume-title":"Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008","author":"M. Abadi","year":"2008","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 63\u201374. ACM, New York (2008)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-22655-7_15","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"R.L. Bocchino Jr.","year":"2011","unstructured":"Bocchino Jr., R.L., Adve, V.S.: Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 306\u2013332. Springer, Heidelberg (2011)"},{"key":"13_CR3","unstructured":"Bracha, G.: Pluggable type systems. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (2004)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1145\/1186632.1186635","volume":"28","author":"J.S. Foster","year":"2006","unstructured":"Foster, J.S., Johnson, R., Kodumal, J., Aiken, A.: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst.\u00a028, 1035\u20131087 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR5","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"13_CR6","unstructured":"Gibbons, J., Oliveira, B.C.D.S.: The essence of the iterator pattern. In: McBride, C., Uustalu, T. (eds.) Mathematically-Structured Functional Programming (2006)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Jouvelot, P., Sheldon, M.A., O\u2019Toole, J.W.: Report on the FX programming language. Technical report (1992)","DOI":"10.21236\/ADA256798"},{"key":"13_CR8","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java(TM) Language Specification, 3rd edn. Addison-Wesley Professional (2005)"},{"issue":"2-3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theor. Comput. Sci.\u00a0410(2-3), 202\u2013220 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR10","unstructured":"Hejlsberg, A.: The trouble with checked exceptions (2003), http:\/\/www.artima.com\/intv\/handcuffs.html"},{"key":"13_CR11","unstructured":"King, D., Wadler, P.: Combining monads. In: Mathematical Structures in Computer Science, pp. 61\u201378 (1992)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Lea, D.: A Java fork\/join framework. In: Java Grande, pp. 36\u201343 (2000)","DOI":"10.1145\/337449.337465"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/73560.73564","volume-title":"Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1988","author":"J.M. Lucassen","year":"1988","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1988, pp. 47\u201357. ACM, New York (1988)"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1481861.1481868","volume-title":"Proceedings of the 4th International Workshop on Types in Language Design and Implementation, TLDI 2009","author":"D. Marino","year":"2009","unstructured":"Marino, D., Millstein, T.: A generic type-and-effect system. In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, TLDI 2009, pp. 39\u201350. ACM, New York (2009)"},{"key":"13_CR15","first-page":"94","volume-title":"Supporting evolution of interface exceptions","author":"A. Mikhailova","year":"2001","unstructured":"Mikhailova, A., Romanovsky, A.: Supporting evolution of interface exceptions, pp. 94\u2013110. Springer-Verlag New York, Inc., New York (2001)"},{"key":"13_CR16","unstructured":"Odersky, M.: The Scala language specification (2011), http:\/\/www.scala-lang.org\/docu\/files\/ScalaReference.pdf"},{"key":"13_CR17","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"427","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)","author":"M. Odersky","year":"2009","unstructured":"Odersky, M., Moors, A.: Fighting bit rot with types (experience report: Scala collections). In: Kannan, R., Narayan Kumar, K. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a04, pp. 427\u2013451. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2009)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-19861-8_7","volume-title":"Compiler Construction","author":"D.J. Pearce","year":"2011","unstructured":"Pearce, D.J.: JPure: A Modular Purity System for Java. In: Knoop, J. (ed.) CC 2011. LNCS, vol.\u00a06601, pp. 104\u2013123. Springer, Heidelberg (2011), doi:10.1007\/978-3-642-19861-8_7"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Rytz, L., Odersky, M.: Lightweight polymorphic effects - proofs. Technical report, EPFL (2012)","DOI":"10.1007\/978-3-642-31057-7_13"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-18378-2_15","volume-title":"Practical Aspects of Declarative Languages","author":"D. Syme","year":"2011","unstructured":"Syme, D., Petricek, T., Lomov, D.: The F# Asynchronous Programming Model. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol.\u00a06539, pp. 175\u2013189. Springer, Heidelberg (2011)"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"Talpin, J.-P., Jouvelot, P.: Polymorphic type, region and effect inference. Journal of Functional Programming\u00a02(3), 245\u2013271 (1992)","journal-title":"Journal of Functional Programming"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/1094811.1094847","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005","author":"M. Dooren van","year":"2005","unstructured":"van Dooren, M., Steegmans, E.: Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 455\u2013471. ACM, New York (2005)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/601775.601776","volume":"4","author":"P. Wadler","year":"2003","unstructured":"Wadler, P., Thiemann, P.: The marriage of effects and monads. ACM Trans. Comput. Logic\u00a04, 1\u201332 (2003)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T23:21:16Z","timestamp":1687562476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}