{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:49:33Z","timestamp":1725619773071},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242755"},{"type":"electronic","value":"9783642242762"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24276-2_9","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T10:49:23Z","timestamp":1318243763000},"page":"137-152","source":"Crossref","is-referenced-by-count":3,"title":["Purity in Erlang"],"prefix":"10.1007","author":[{"given":"Mihalis","family":"Pitidis","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"9_CR2","unstructured":"Barklund, J., Virding, R.: Erlang 4.7.3 reference manual (February 1999), http:\/\/www.csd.uu.se\/ftp\/mirror\/erlang\/download\/erl_spec47.ps.gz"},{"key":"9_CR3","unstructured":"Carlsson, R., Gustavsson, B., Johansson, E., Lindgren, T., Nystr\u00f6m, S.O., Pettersson, M., Virding, R.: Core Erlang 1.0 language specification. Tech. Rep. 030, Information Technology Department, Uppsala University (November 2000)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Carlsson, R., Gustavsson, B., Nyblom, P.: Erlangs exception handling revisited. In: Proceedings of the ACM SIGPLAN Workshop on Erlang, pp. 16\u201326. ACM (2004)","DOI":"10.1145\/1022471.1022475"},{"key":"9_CR5","unstructured":"Ericsson, A.B.: Erlang Reference Manual Users Guide, version 5.8 (June 2010), http:\/\/www.erlang.org\/doc\/reference_manual\/users_guide.html"},{"key":"9_CR6","first-page":"47","volume-title":"Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages","author":"J.M. Lucassen","year":"1988","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pp. 47\u201357. ACM, New York (January 1988)"},{"key":"9_CR7","unstructured":"Newbern, J.: All about monads, http:\/\/www.haskell.org\/all_about_monads\/"},{"volume-title":"Advanced Topics in Types and Programming Languages","year":"2005","key":"9_CR8","unstructured":"Pierce, B.C. (ed.): Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"9_CR9","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean Language Report, version 2.1 (November 2002), http:\/\/clean.cs.ru.nl\/download\/Clean20\/doc\/CleanLangRep.2.1.pdf"},{"key":"9_CR10","unstructured":"Shapiro, J., Sridhar, S., Doerrie, M.S.: The origins of the BitC programming language (April 2008), http:\/\/www.bitc-lang.org\/docs\/bitc\/bitc-origins.html"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-85373-2_12","volume-title":"Implementation and Application of Functional Languages","author":"E. Vries de","year":"2008","unstructured":"de Vries, E., Plasmeijer, R., Abrahamson, D.M.: Uniqueness typing simplified. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol.\u00a05083, pp. 201\u2013218. Springer, Heidelberg (2008)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/291251.289429","volume":"34","author":"P. Wadler","year":"1999","unstructured":"Wadler, P.: The marriage of effects and monads. ACM SIGPLAN Notices\u00a034(1), 63\u201374 (1999)","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24276-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T15:47:41Z","timestamp":1593100061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24276-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242755","9783642242762"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24276-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}