{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:02Z","timestamp":1750306742524,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T00:00:00Z","timestamp":1406505600000},"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":[[2014,7,28]]},"DOI":"10.1145\/2637647.2637651","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T12:29:52Z","timestamp":1406636992000},"page":"23-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Typecasting actors"],"prefix":"10.1145","author":[{"given":"Jiansen","family":"He","sequence":"first","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Philip","family":"Wadler","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Philip","family":"Trinder","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Pragmatic Bookshelf","author":"Armstrong J.","year":"2007","unstructured":"J. Armstrong . Programming Erlang : Software for a Concurrent World . Pragmatic Bookshelf , 2007 . J. Armstrong. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_3_1","volume-title":"Symposium on Trends in Functional Programming","author":"Boudeville O.","year":"2012","unstructured":"O. Boudeville , F. Cesarini , N. Chechina , K. Lundin , N. Papaspyrou , K. Sagonas , S. Thompson , P. Trinder , and U. Wiger . Release: a high-level paradigm for reliable large-scale server software . Symposium on Trends in Functional Programming , July 2012 . O. Boudeville, F. Cesarini, N. Chechina, K. Lundin, N. Papaspyrou, K. Sagonas, S. Thompson, P. Trinder, and U. Wiger. Release: a high-level paradigm for reliable large-scale server software. Symposium on Trends in Functional Programming, July 2012."},{"key":"e_1_3_2_1_4_1","volume-title":"Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc)","author":"Burbeck S.","year":"1987","unstructured":"S. Burbeck . Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc) , 1987 . S. Burbeck. Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc), 1987."},{"key":"e_1_3_2_1_5_1","volume-title":"Midwest Instruction and Computing Symposium","author":"Doyle C.","year":"2012","unstructured":"C. Doyle and M. Allen . EnMAS: A new tool for multi-agent systems research and education . Midwest Instruction and Computing Symposium , 2012 . C. Doyle and M. Allen. EnMAS: A new tool for multi-agent systems research and education. Midwest Instruction and Computing Symposium, 2012."},{"key":"e_1_3_2_1_6_1","unstructured":"Excilys Group. Gatling: stress tool. http:\/\/gatling-tool.org\/ 2012. Accessed on Oct 2012.  Excilys Group. Gatling: stress tool. http:\/\/gatling-tool.org\/ 2012. Accessed on Oct 2012."},{"key":"e_1_3_2_1_7_1","first-page":"268","volume-title":"In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha","author":"Fournet C.","year":"2000","unstructured":"C. Fournet and G. Gonthier . The join calculus: A language for distributed mobile programming . In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha , pages 268 -- 332 . Springer-Verlag , 2000 . C. Fournet and G. Gonthier. The join calculus: A language for distributed mobile programming. In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, pages 268--332. Springer-Verlag, 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"Patterns of enterprise application architecture","author":"Fowler M.","year":"2002","unstructured":"M. Fowler . Patterns of enterprise application architecture . Addison-Wesley Longman Publishing Co., Inc. , 2002 . M. Fowler. Patterns of enterprise application architecture. Addison-Wesley Longman Publishing Co., Inc., 2002."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/github.com\/Jiansen\/TAkka","author":"Akka J. HE.","year":"2014","unstructured":"J. HE. T Akka . https:\/\/github.com\/Jiansen\/TAkka , 2014 . Accessed on May 2014. J. HE. TAkka. https:\/\/github.com\/Jiansen\/TAkka, 2014. Accessed on May 2014."},{"key":"e_1_3_2_1_10_1","volume-title":"Computer Architecture: A Quantitative Approach","author":"Hennessy J. L.","year":"2006","unstructured":"J. L. Hennessy and D. A. Patterson . Computer Architecture: A Quantitative Approach , 4 th Edition. Morgan Kaufmann , 4 edition, Sept. 2006 . J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach, 4th Edition. Morgan Kaufmann, 4 edition, Sept. 2006.","edition":"4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_3_2_1_12_1","first-page":"2012","author":"Imtarnasan V.","year":"2012","unstructured":"V. Imtarnasan and D. Bolton . SOCKO Web Server. http:\/\/sockoweb.org\/ , 2012 . Accessed on Oct 2012 . V. Imtarnasan and D. Bolton. SOCKO Web Server. http:\/\/sockoweb.org\/, 2012. Accessed on Oct 2012.","journal-title":"SOCKO Web Server. http:\/\/sockoweb.org\/"},{"key":"e_1_3_2_1_13_1","volume-title":"Typed akka actors. private communication","author":"Kuhn R.","year":"2012","unstructured":"R. Kuhn , J. Bon\u00e9r , and P. Trinder . Typed akka actors. private communication , 2012 . R. Kuhn, J. Bon\u00e9r, and P. Trinder. Typed akka actors. private communication, 2012."},{"key":"e_1_3_2_1_14_1","volume-title":"Parameterising Actor with Message type? https:\/\/groups.google.com\/forum\/#!topic\/akka-user\/j-SgCS6JZoE","author":"Kuhn R.","year":"2011","unstructured":"R. Kuhn and P. Vlugter . Parameterising Actor with Message type? https:\/\/groups.google.com\/forum\/#!topic\/akka-user\/j-SgCS6JZoE , 2011 . Accessed on 17 Feb 2013. R. Kuhn and P. Vlugter. Parameterising Actor with Message type? https:\/\/groups.google.com\/forum\/#!topic\/akka-user\/j-SgCS6JZoE, 2011. Accessed on 17 Feb 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986262.1986274"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus of communicating systems. 1980.   R. Milner. A calculus of communicating systems. 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"e_1_3_2_1_17_1","volume-title":"Java Generics and Collections","author":"Naftalin M.","year":"2006","unstructured":"M. Naftalin and P. Wadler . Java Generics and Collections , chapter Chapter 5: Evolution, Not revolution. O'Reilly Media , Inc., 2006 . M. Naftalin and P. Wadler. Java Generics and Collections, chapter Chapter 5: Evolution, Not revolution. O'Reilly Media, Inc., 2006."},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/asyncobjects.sourceforge.net\/asyncscala\/index.html","author":"Plotnikov. AsyncScala C.","year":"2011","unstructured":"C. Plotnikov. AsyncScala . http:\/\/asyncobjects.sourceforge.net\/asyncscala\/index.html , 2011 . Accessed on May 2014. C. Plotnikov. AsyncScala. http:\/\/asyncobjects.sourceforge.net\/asyncscala\/index.html, 2011. Accessed on May 2014."},{"key":"e_1_3_2_1_19_1","volume-title":"The π-Calculus: A Theory of Mobile Processes","author":"Sangiorgi D.","year":"2001","unstructured":"D. Sangiorgi and D. Walker . The π-Calculus: A Theory of Mobile Processes . Cambridge University Press , New York, NY, USA , 2001 . D. Sangiorgi and D. Walker. The π-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York, NY, USA, 2001."},{"key":"e_1_3_2_1_20_1","unstructured":"TechEmpower Inc. Techempower web framework benchmarks. http:\/\/www.techempower.com\/benchmarks\/ 2013. Accessed on July 2013.  TechEmpower Inc. Techempower web framework benchmarks. http:\/\/www.techempower.com\/benchmarks\/ 2013. Accessed on July 2013."},{"key":"e_1_3_2_1_21_1","unstructured":"Typesafe Inc. (a). Akka Documentation: Release 2.0.2. http:\/\/doc.akka.io\/docs\/akka\/2.0.2\/Akka.pdf 2012. Accessed on Oct 2012.  Typesafe Inc. (a). Akka Documentation: Release 2.0.2. http:\/\/doc.akka.io\/docs\/akka\/2.0.2\/Akka.pdf 2012. Accessed on Oct 2012."},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/www.playframework.com\/documentation\/2.2-SNAPSHOT\/Home","author":"Typesafe Inc. (b). Play 2.2 documentation.","year":"2013","unstructured":"Typesafe Inc. (b). Play 2.2 documentation. http:\/\/www.playframework.com\/documentation\/2.2-SNAPSHOT\/Home , 2013 . Accessed on July 2013. Typesafe Inc. (b). Play 2.2 documentation. http:\/\/www.playframework.com\/documentation\/2.2-SNAPSHOT\/Home, 2013. Accessed on July 2013."},{"key":"e_1_3_2_1_23_1","unstructured":"Wikipedia. Eight queens puzzle. http:\/\/en.wikipedia.org\/wiki\/Eight_queens_puzzle 2014. {Online; accessed 30-March-2014}.  Wikipedia. Eight queens puzzle. http:\/\/en.wikipedia.org\/wiki\/Eight_queens_puzzle 2014. {Online; accessed 30-March-2014}."},{"key":"e_1_3_2_1_24_1","volume-title":"https:\/\/github.com\/cyberzac\/BarberShop","author":"Zachrison M.","year":"2012","unstructured":"M. Zachrison . Barbershop. https:\/\/github.com\/cyberzac\/BarberShop , 2012 . Accessed on Oct 2012. M. Zachrison. Barbershop. https:\/\/github.com\/cyberzac\/BarberShop, 2012. Accessed on Oct 2012."}],"event":{"name":"ECOOP '14: European Conference on Object-Oriented Programming","sponsor":["Uppsala University, Department of Information Science Uppsala University, Department of Information Science","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Uppsala Sweden","acronym":"ECOOP '14"},"container-title":["Proceedings of the Fifth Annual Scala Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637651","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2637647.2637651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:17Z","timestamp":1750231697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637651"}},"subtitle":["from Akka to TAkka"],"short-title":[],"issued":{"date-parts":[[2014,7,28]]},"references-count":24,"alternative-id":["10.1145\/2637647.2637651","10.1145\/2637647"],"URL":"https:\/\/doi.org\/10.1145\/2637647.2637651","relation":{},"subject":[],"published":{"date-parts":[[2014,7,28]]},"assertion":[{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}