{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:57:09Z","timestamp":1770274629414,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662442012","type":"print"},{"value":"9783662442029","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_13","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T02:01:13Z","timestamp":1405562473000},"page":"308-333","source":"Crossref","is-referenced-by-count":24,"title":["Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution"],"prefix":"10.1007","author":[{"given":"Heather","family":"Miller","sequence":"first","affiliation":[]},{"given":"Philipp","family":"Haller","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Budimli\u0107, Z., Burke, M., Cav\u00e9, V., Knobe, K., Lowney, G., Newton, R., Palsberg, J., Peixotto, D., Sarkar, V., Schlimbach, F.: et\u00a0al. Concurrent collections. Scientific Programming\u00a018(3) (2010)","DOI":"10.1155\/2010\/521797"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Chakravarty, M.M.T., Leshchinskiy, R., Peyton Jones, S., Keller, G., Marlow, S.: Data Parallel Haskell: A status report. In: Proc. DAMP Workshop, pp. 10\u201318. ACM (2007)","DOI":"10.1145\/1248648.1248652"},{"key":"13_CR3","unstructured":"Collins, A., Grewe, D., Grover, V., Lee, S., Susnea, A.: NOVA: A functional language for data parallelism. Technical Report NVR-2013-002, NVIDIA Corporation (July 2013)"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J. Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: Simplified data processing on large clusters. Commun. ACM\u00a051(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Epstein, J., Black, A.P., Peyton-Jones, S.: Towards Haskell in the cloud. In: Proc. Haskell Symposium, pp. 118\u2013129. ACM (2011)","DOI":"10.1145\/2034675.2034690"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Germain, G.: Concurrency oriented programming in Termite Scheme. In: Erlang Workshop, p. 20. ACM (2006)","DOI":"10.1145\/1159789.1159795"},{"key":"13_CR7","unstructured":"Goetz, B.: JSR 335: Lambda expressions for the Java programming language (2013), https:\/\/jcp.org\/en\/jsr\/detail?id=335"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Herhut, S., Hudson, R.L., Shpeisman, T., Sreeram, J.: River trail: a path to parallelism in JavaScript. In: OOPSLA, pp. 729\u2013744 (2013)","DOI":"10.1145\/2509136.2509516"},{"key":"13_CR9","unstructured":"International Standard ISO\/IEC 14882:2011. Programming Languages \u2013 C++. International Organization for Standards (2011)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Lewis, J.R., Launchbury, J., Meijer, E., Shields, M.: Implicit parameters: Dynamic scoping with static types. In: POPL, pp. 108\u2013118 (2000)","DOI":"10.1145\/325694.325708"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-34407-7_3","volume-title":"Implementation and Application of Functional Languages","author":"P. Maier","year":"2012","unstructured":"Maier, P., Trinder, P.: Implementing a high-level distributed-memory parallel Haskell in Haskell. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol.\u00a07257, pp. 35\u201350. Springer, Heidelberg (2012)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Marlow, S., Newton, R., Peyton Jones, S.: A monad for deterministic parallelism. In: Proc. Haskell Symposium, pp. 71\u201382. ACM (2011)","DOI":"10.1145\/2034675.2034685"},{"key":"13_CR13","unstructured":"Matsakis, N.: Fn types in Rust, take 3 (2013), http:\/\/smallcultfollowing.com\/babysteps\/blog\/2013\/10\/10\/fn-types-in-rust"},{"key":"13_CR14","unstructured":"Matsakis, N.D.: Parallel closures: a new twist on an old idea. In: HotPar. USENIX (2012)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"McKerns, M.M., Strand, L., Sullivan, T., Fang, A., Aivazis, M.A.: Building a framework for predictive science. In: Proc. of the 10th Python in Science Conf. (2011)","DOI":"10.25080\/Majora-ebaa42b7-00d"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Meijer, E.: Confessions of a used programming language salesman. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297078"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Rabkin, A.S.: Empirical analysis of programming language adoption. In: OOPSLA (2013)","DOI":"10.1145\/2509136.2509515"},{"key":"13_CR18","unstructured":"Miller, H., Haller, P.: Spores, formally. Technical Report EPFL-REPORT-191240, Department of Computer Science, EPFL, Lausanne, Switzerland (December 2013)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Miller, H., Haller, P., Burmako, E., Odersky, M.: Instant pickles: Generating object-oriented pickler combinators for fast and extensible serialization. In: OOPSLA, pp. 183\u2013202 (2013)","DOI":"10.1145\/2509136.2509547"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Miller, H., Haller, P., Rytz, L., Odersky, M.: Functional programming for all! Scaling a MOOC for students and professionals alike. In: ICSE, pp. 265\u2013263 (2014)","DOI":"10.1145\/2591062.2591161"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"J.G. Morrisett","year":"1999","unstructured":"Morrisett, J.G., Walker, D., Crary, K., Glew, N.: From system F to typed assembly language. ACM Trans. Program. Lang. Syst\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Murphy VII, T., Crary, K., Harper, R.: Type-safe distributed programming with ML5. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 108\u2013123. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78663-4_9"},{"key":"13_CR23","unstructured":"Odersky, M.: The Scala language specification (2013)"},{"key":"13_CR24","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press (2002)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-23397-5_14","volume-title":"Euro-Par 2011 Parallel Processing","author":"A. Prokopec","year":"2011","unstructured":"Prokopec, A., Bagwell, P., Rompf, T., Odersky, M.: A generic parallel collection framework. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part II. LNCS, vol.\u00a06853, pp. 136\u2013147. Springer, Heidelberg (2011)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-37658-0_11","volume-title":"Languages and Compilers for Parallel Computing","author":"A. Prokopec","year":"2013","unstructured":"Prokopec, A., Miller, H., Schlatter, T., Haller, P., Odersky, M.: FlowPools: A lock-free deterministic concurrent dataflow abstraction. In: Kasahara, H., Kimura, K. (eds.) LCPC 2012. LNCS, vol.\u00a07760, pp. 158\u2013173. Springer, Heidelberg (2013)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. In: ICFP, pp. 317\u2013328. ACM (2009)","DOI":"10.1145\/1596550.1596596"},{"key":"13_CR28","unstructured":"Schwendner, A.: Distributed functional programming in Scheme. Master\u2019s thesis, Massachusetts Institute of Technology (2009)"},{"key":"13_CR29","unstructured":"Typesafe. Akka (2009), http:\/\/akka.io\/"},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput.\u00a0115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."},{"key":"13_CR31","unstructured":"Zaharia, M., Chowdhury, M., Das, T., Dave, A., McCauley, M., Franklin, M., Shenker, S., Stoica, I.: Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing. In: NSDI. USENIX (2012)"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic java. In: OOPSLA, pp. 598\u2013617. ACM (2010)","DOI":"10.1145\/1869459.1869509"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T10:02:09Z","timestamp":1598090529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}