{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:41Z","timestamp":1772163941372,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"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":[[2007,10]]},"DOI":"10.1145\/1291151.1291181","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"191-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Type-safe higher-order channels in ML-like languages"],"prefix":"10.1145","author":[{"given":"Sungwoo","family":"Park","sequence":"first","affiliation":[{"name":"Pohang University of Science and Technology, Pohang, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Sun Microsystems Inc.","author":"Allan Eric","year":"2007","unstructured":"Eric Allan , David Chase , Joe Hallet , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L. Steele Jr ., and Sam Tobin-Hochstadt . The Fortress language specification version 1.0beta. Technical report , Sun Microsystems Inc. , March 2007 . Eric Allan, David Chase, Joe Hallet, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress language specification version 1.0beta. Technical report, Sun Microsystems Inc., March 2007."},{"key":"e_1_3_2_1_2_1","first-page":"374","volume-title":"Proceedings of the 2nd International Conference on Coordination Languages and Models, LNCS 1282","author":"An","year":"1997","unstructured":"An asynchronous model of locality, failure, and process mobility . In Proceedings of the 2nd International Conference on Coordination Languages and Models, LNCS 1282 , pages 374 -- 391 . Springer-Verlag , 1997 . An asynchronous model of locality, failure, and process mobility. In Proceedings of the 2nd International Conference on Coordination Languages and Models, LNCS 1282, pages 374--391. Springer-Verlag, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258967"},{"key":"e_1_3_2_1_4_1","volume-title":"University of California","author":"Asanovic Krste","year":"2006","unstructured":"Krste Asanovic , Ras Bodik , Bryan Christopher Catanzaro , Joseph Gebis , Parry Husbands , Kurt Keutzer , David Patterson , William Plishker , John Shalf , Samuel Williams , and Katherine Yelick . The landscape of parallel computing research: A view from berkeley. Technical Report UCB\/EECS-2006-183, EECS Department , University of California , Berkeley , December 2006 . Krste Asanovic, Ras Bodik, Bryan Christopher Catanzaro, Joseph Gebis, Parry Husbands, Kurt Keutzer, David Patterson, William Plishker, John Shalf, Samuel Williams, and Katherine Yelick. The landscape of parallel computing research: A view from berkeley. Technical Report UCB\/EECS-2006-183, EECS Department, University of California, Berkeley, December 2006."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_8_1","volume-title":"February","author":"Cray Inc.","year":"2005","unstructured":"Cray Inc. The Chapel language specification version 0.4. Technical report , February 2005 . Cray Inc. The Chapel language specification version 0.4. Technical report, February 2005."},{"key":"e_1_3_2_1_9_1","volume-title":"October","author":"El-Ghazawi Tarek","year":"2003","unstructured":"Tarek El-Ghazawi , William Carlson , and Jesse Draper . Upc language specifications, v1.1.1 , October 2003 . Tarek El-Ghazawi, William Carlson, and Jesse Draper. Upc language specifications, v1.1.1, October 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248656"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703841"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","first-page":"129","volume-title":"Luc Maranget, and Alan Schmitt. JoCaml: a language for concurrent distributed and mobile programming","author":"Fournet C\u00e9dric","year":"2002","unstructured":"C\u00e9dric Fournet , Fabrice Le Fessant , Luc Maranget, and Alan Schmitt. JoCaml: a language for concurrent distributed and mobile programming . In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School, 2002 , volume 2638 of Lecture Notes in Computer Science , pages 129 -- 158 . Springer-Verlag , 2003. C\u00e9dric Fournet, Fabrice Le Fessant, Luc Maranget, and Alan Schmitt. JoCaml: a language for concurrent distributed and mobile programming. In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School, 2002, volume 2638 of Lecture Notes in Computer Science, pages 129--158. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2005.53"},{"key":"e_1_3_2_1_16_1","first-page":"219","volume-title":"Proceedings of the European Symposium on Programming, LNCS 2986","author":"Jia Limin","year":"2004","unstructured":"Limin Jia and David Walker . Modal proofs as distributed programs (extended abstract) . In Proceedings of the European Symposium on Programming, LNCS 2986 , pages 219 -- 233 . Springer , 2004 . Limin Jia and David Walker. Modal proofs as distributed programs (extended abstract). In Proceedings of the European Symposium on Programming, LNCS 2986, pages 219--233. Springer, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021865"},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Nikhil R.","year":"2001","unstructured":"R. Nikhil and Arvind. Implicit parallel programming in pH . Morgan Kaufmann , 2001 . R. Nikhil and Arvind. Implicit parallel programming in pH. Morgan Kaufmann, 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646833.708044"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1993.287570"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647319.721007"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604136"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/88616.88631"},{"issue":"3","key":"e_1_3_2_1_27_1","article-title":"The free lunch is over: a fundamental turn toward concurrency in software","volume":"30","author":"Sutter Herb","year":"2005","unstructured":"Herb Sutter . The free lunch is over: a fundamental turn toward concurrency in software . Dr. Dobb's Journal , 30 ( 3 ), March 2005 . Herb Sutter. The free lunch is over: a fundamental turn toward concurrency in software. Dr. Dobb's Journal, 30 (3), March 2005.","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_28_1","first-page":"557","volume-title":"CONCUR: 10th International Conference on Concurrency Theory, LNCS 1664","author":"Yoshida Nobuko","year":"1999","unstructured":"Nobuko Yoshida and Matthew Hennessy . Subtyping and locality in distributed higher order processes (extended abstract) . In CONCUR: 10th International Conference on Concurrency Theory, LNCS 1664 , pages 557 -- 572 . Springer-Verlag , 1999 . Nobuko Yoshida and Matthew Hennessy. Subtyping and locality in distributed higher order processes (extended abstract). In CONCUR: 10th International Conference on Concurrency Theory, LNCS 1664, pages 557--572. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647319.721045"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291181","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":27,"alternative-id":["10.1145\/1291151.1291181","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291181","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291181","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}