{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T05:02:13Z","timestamp":1750482133720,"version":"3.32.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159876.1159881","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"20-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Type-safe distributed programming for OCaml"],"prefix":"10.1145","author":[{"given":"John","family":"Billings","sequence":"first","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Sewell","sequence":"additional","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Shinwell","sequence":"additional","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rok","family":"Strni\u0161a","sequence":"additional","affiliation":[{"name":"University of Cambridge"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"volume-title":"Sun Microsystems","year":"2004","author":"Java\u2122","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680000126X"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944715"},{"key":"e_1_3_2_1_5_1","unstructured":"J. Billings. A bytecode compiler for Acute 2005. Computer Science Tripos Part II Dissertation University of Cambridge.]] J. Billings. A bytecode compiler for Acute 2005. Computer Science Tripos Part II Dissertation University of Cambridge.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. Billings P. Sewell M. Shinwell and R. Strni\u0161a. HashCaml 3.09.1-alpha-785. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/hashcaml Apr. 2006.]] J. Billings P. Sewell M. Shinwell and R. Strni\u0161a. HashCaml 3.09.1-alpha-785. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/hashcaml Apr. 2006.]]","DOI":"10.1145\/1159876.1159881"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J. Billings P. Sewell M. Shinwell and R. Strni\u0161a. The implementation of HashCaml Apr. 2006. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/hashcaml.]] J. Billings P. Sewell M. Shinwell and R. Strni\u0161a. The implementation of HashCaml Apr. 2006. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/hashcaml.]]","DOI":"10.1145\/1159876.1159881"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-17184-3_38","volume-title":"Combinators and Functional Programming Languages, LNCS 242","author":"Cardelli L.","year":"1986"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289459"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159841"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604151"},{"key":"e_1_3_2_1_12_1","unstructured":"C. Fournet F. L. Fessant L. Maranget and A. Schmitt. The JoCaml language beta release documentation and user's manual Jan. 2001. http:\/\/moscova.inria.fr\/jocaml\/.]] C. Fournet F. L. Fessant L. Maranget and A. Schmitt. The JoCaml language beta release documentation and user's manual Jan. 2001. http:\/\/moscova.inria.fr\/jocaml\/.]]"},{"key":"e_1_3_2_1_13_1","first-page":"7","article-title":"Theory and Applications. PhD thesis","author":"Furuse J.","year":"2002","journal-title":"Universit\u00e9 Paris"},{"volume-title":"J. Francophones des Langages Applicatifs","year":"2000","author":"Furuse J.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_15"},{"key":"e_1_3_2_1_16_1","unstructured":"J. Garrigue. Personal communication Sept. 2005.]] J. Garrigue. Personal communication Sept. 2005.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/113446.113460"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/371880.371887"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_20_1","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.]]"},{"volume-title":"Journ\u00e9es Francophones des Langages Applicatifs","year":"2006","author":"Henry G.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944714"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_24_1","unstructured":"X. Leroy et al. Objective Caml 3.09.1. http:\/\/caml.inria.fr Jan. 2006.]] X. Leroy et al. Objective Caml 3.09.1. http:\/\/caml.inria.fr Jan. 2006.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000848"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","first-page":"455","DOI":"10.7551\/mitpress\/5641.003.0022","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"Pierce B. C.","year":"2000"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888274"},{"key":"e_1_3_2_1_30_1","volume-title":"Trends in Functional Programming","volume":"5","author":"Rossberg A.","year":"2006"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360225"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"P. Sewell J. J. Leifer K. Wansbrough F. Zappa Nardelli M. Allen-Williams P. Habouzit and V. Vafeiadis. Acute: High-level programming language design for distributed computation. Dec. 2005. Submitted for publication. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/acute\/paper3.ps.]] P. Sewell J. J. Leifer K. Wansbrough F. Zappa Nardelli M. Allen-Williams P. Habouzit and V. Vafeiadis. Acute: High-level programming language design for distributed computation. Dec. 2005. Submitted for publication. http:\/\/www.cl.cam.ac.uk\/users\/pes20\/acute\/paper3.ps.]]","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_3_2_1_35_1","first-page":"1","volume-title":"Internet Programming Languages, LNCS 1686","author":"Sewell P.","year":"1999"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944729"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703703"},{"key":"e_1_3_2_1_38_1","unstructured":"J. Verlaguet. Acaml: An extension of OCaml with Acute-like marshalling Oct. 2005. Masters Dissertation.]] J. Verlaguet. Acaml: An extension of OCaml with Acute-like marshalling Oct. 2005. Masters Dissertation.]]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040294.1040296"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018828"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159876.1159881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T16:28:17Z","timestamp":1736612897000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159876.1159881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":39,"alternative-id":["10.1145\/1159876.1159881","10.1145\/1159876"],"URL":"https:\/\/doi.org\/10.1145\/1159876.1159881","relation":{},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}