{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:19Z","timestamp":1772163919976,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"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":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086370","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Acute"],"prefix":"10.1145","author":[{"given":"Peter","family":"Sewell","sequence":"first","affiliation":[{"name":"University of Cambridge"}]},{"given":"James J.","family":"Leifer","sequence":"additional","affiliation":[{"name":"INRIA Rocquencourt"}]},{"given":"Keith","family":"Wansbrough","sequence":"additional","affiliation":[{"name":"University of Cambridge"}]},{"given":"Francesco Zappa","family":"Nardelli","sequence":"additional","affiliation":[{"name":"INRIA Rocquencourt"}]},{"given":"Mair","family":"Allen-Williams","sequence":"additional","affiliation":[{"name":"University of Cambridge"}]},{"given":"Pierre","family":"Habouzit","sequence":"additional","affiliation":[{"name":"INRIA Rocquencourt"}]},{"given":"Viktor","family":"Vafeiadis","sequence":"additional","affiliation":[{"name":"University of Cambridge"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstrom , and M. Williams . Concurrent Programming in Erlang . Prentice Hall , 1996 . 2 nd ed.]] J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 1996. 2nd ed.]]","edition":"2"},{"key":"e_1_3_2_1_2_1","first-page":"2374","author":"Benton N.","year":"2002","unstructured":"N. Benton , L. Cardelli , and C. Fournet . Modern concurrency abstractions for C#. In Proc. ECOOP, LNCS 2374 , 2002 .]] N. Benton, L. Cardelli, and C. Fournet. Modern concurrency abstractions for C#. In Proc. ECOOP, LNCS 2374, 2002.]]","journal-title":"Modern concurrency abstractions for C#. In Proc. ECOOP, LNCS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944715"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.036"},{"key":"e_1_3_2_1_5_1","unstructured":"D. Le Botlan A. Rossberg C. Schulte G. Smolka and G. Tack 2005. www.ps.uni-sb.de\/alice\/.]]  D. Le Botlan A. Rossberg C. Schulte G. Smolka and G. Tack 2005. www.ps.uni-sb.de\/alice\/.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199516"},{"key":"e_1_3_2_1_7_1","first-page":"1378","author":"Cardelli L.","year":"1998","unstructured":"L. Cardelli and A. D. Gordon . Mobile ambients. In Proc. FoSSaCS, LNCS 1378 , 1998 .]] L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. FoSSaCS, LNCS 1378, 1998.]]","journal-title":"Mobile ambients. In Proc. FoSSaCS, LNCS"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/788021.788952"},{"key":"e_1_3_2_1_9_1","volume-title":"msdn)","author":"Packacking","year":"2003","unstructured":"Packacking and deploying .Net framework applications (.Net framework tutorials , msdn) , 2003 .]] Packacking and deploying .Net framework applications (.Net framework tutorials, msdn), 2003.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703841"},{"key":"e_1_3_2_1_11_1","volume-title":"J. Francophones des Langages Applicatifs","author":"Furuse Jun","year":"2000","unstructured":"Jun Furuse and Pierre Weis . Entr\u00e9es\/sorties de valeurs en Caml . In J. Francophones des Langages Applicatifs , 2000 .]] Jun Furuse and Pierre Weis. Entr\u00e9es\/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/371880.371887"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_14_1","volume-title":"Design issues in advanced module systems","author":"Harper R.","year":"2005","unstructured":"R. Harper and B. C. Pierce . Design issues in advanced module systems , 2005 . Chapter in Advanced Topics in Types and Programming Languages, B. C. Pierce , editor.]] R. Harper and B. C. Pierce. Design issues in advanced module systems, 2005. Chapter in Advanced Topics in Types and Programming Languages, B. C. Pierce, editor.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24727-2_18"},{"key":"e_1_3_2_1_16_1","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner.","author":"Harper R.","year":"2000","unstructured":"R. Harper and C. Stone . A type-theoretic interpretation of standard ML . In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000 .]] R. Harper and C. Stone. A type-theoretic interpretation of standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.]]"},{"key":"e_1_3_2_1_17_1","unstructured":"JoCaml. http:\/\/pauillac.inria.fr\/jocaml\/.]]  JoCaml. http:\/\/pauillac.inria.fr\/jocaml\/.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944714"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021865"},{"key":"e_1_3_2_1_21_1","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner.","author":"Pierce B. C.","year":"2000","unstructured":"B. C. Pierce and D. N. Turner . Pict: A programming language based on the pi-calculus . In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000 .]] B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888274"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360225"},{"key":"e_1_3_2_1_27_1","volume-title":"January","author":"Sewell P.","year":"2005","unstructured":"P. Sewell , J. J. Leifer , K. Wansbrough , M. Allen-Williams , F. Zappa Nardelli , P. Habouzit , and V. Vafeiadis . Source release of the Acute system , January 2005 . Available from http:\/\/www.cl.cam.ac.uk\/users\/pes20\/acute\/.]] P. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-Williams, F. Zappa Nardelli, P. Habouzit, and V. Vafeiadis. Source release of the Acute system, January 2005. Available from http:\/\/www.cl.cam.ac.uk\/users\/pes20\/acute\/.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944729"},{"key":"e_1_3_2_1_29_1","first-page":"1","volume-title":"Internet Programming Languages, LNCS 1686","author":"Sewell P.","year":"1999","unstructured":"P. Sewell , P. T. Wojciechowski , and B. C. Pierce . Locationindependent communication for mobile agents: a two-level architecture . In Internet Programming Languages, LNCS 1686 , pages 1 -- 31 , 1999 .]] P. Sewell, P. T. Wojciechowski, and B. C. Pierce. Locationindependent communication for mobile agents: a two-level architecture. In Internet Programming Languages, LNCS 1686, pages 1--31, 1999.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703703"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360214"},{"key":"e_1_3_2_1_32_1","unstructured":"Vesta. http:\/\/www.vestasys.org\/.]]  Vesta. http:\/\/www.vestasys.org\/.]]"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086370"}},"subtitle":["high-level programming language design for distributed computation"],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":30,"alternative-id":["10.1145\/1086365.1086370","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086370","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086370","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}