{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T05:56:23Z","timestamp":1781762183833,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T00:00:00Z","timestamp":1168905600000},"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,1,16]]},"DOI":"10.1145\/1248648.1248656","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"37-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Manticore"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Fluet","sequence":"first","affiliation":[{"name":"Toyota Technological Institute at Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mike","family":"Rainey","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Reppy","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adam","family":"Shaw","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingqi","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,1,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146944"},{"key":"e_1_3_2_1_2_1","volume-title":"Compiling with Continuations","author":"App A. W.","year":"1992","unstructured":"{ App 92} Appel, A. W. Compiling with Continuations . Cambridge University Press , Cambridge, England , 1992 . {App92} Appel, A. W. Compiling with Continuations. Cambridge University Press, Cambridge, England, 1992."},{"key":"e_1_3_2_1_3_1","volume-title":"Concurrent programming in ERLANG","author":"Armstrong J.","year":"1996","unstructured":"{AVWW96} Armstrong , J. , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent programming in ERLANG ( 2 nd ed.). Prentice Hall International (UK) Ltd ., Hertfordshire, UK, UK, 1996 . {AVWW96} Armstrong, J., R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent programming in ERLANG (2nd ed.). Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1996.","edition":"2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1038"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232650"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231395"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201065"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351249"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"524","volume-title":"Euro-Par '01","author":"Chakravarty M. M. T.","year":"2001","unstructured":"{CKLP01} Chakravarty , M. M. T. , G. Keller , R. Leshchinskiy , and W. Pfannenstiel . Nepal --- Nested Data Parallelism in Haskell . In Euro-Par '01 , vol. 2150 of LNCS , New York, NY , August 2001 . Springer-Verlag , pp. 524 -- 534 . {CKLP01} Chakravarty, M. M. T., G. Keller, R. Leshchinskiy, and W. Pfannenstiel. Nepal --- Nested Data Parallelism in Haskell. In Euro-Par '01, vol. 2150 of LNCS, New York, NY, August 2001. Springer-Verlag, pp. 524--534."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209941"},{"key":"e_1_3_2_1_13_1","first-page":"34","volume-title":"WoTUG20","author":"Dem E. D.","year":"1997","unstructured":"{ Dem 97} Demaine, E. D. Higher-order concurrency in Java . In WoTUG20 , April 1997 , pp. 34 -- 47 . Available from http:\/\/theory.csail.mit.edu\/~edemaine\/papers\/WoTUG20\/. {Dem97} Demaine, E. D. Higher-order concurrency in Java. In WoTUG20, April 1997, pp. 34--47. Available from http:\/\/theory.csail.mit.edu\/~edemaine\/papers\/WoTUG20\/."},{"key":"e_1_3_2_1_14_1","first-page":"137","volume-title":"OSDI '04","author":"Dean J.","year":"2004","unstructured":"{DG04} Dean , J. and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In OSDI '04 , December 2004 , pp. 137 -- 150 . {DG04} Dean, J. and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In OSDI '04, December 2004, pp. 137--150."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(89)90018-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996849"},{"key":"e_1_3_2_1_17_1","volume-title":"Bell Labs","author":"Fisher K.","year":"2002","unstructured":"{FR02} Fisher , K. and J. Reppy . Compiler support for lightweight concurrency. Technical memorandum , Bell Labs , March 2002 . Available from http:\/\/moby.cs.uchicago.edu\/. {FR02} Fisher, K. and J. Reppy. Compiler support for lightweight concurrency. Technical memorandum, Bell Labs, March 2002. Available from http:\/\/moby.cs.uchicago.edu\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/229542.229546"},{"key":"e_1_3_2_1_19_1","first-page":"112","volume-title":"The Sisal model of functional programming and its implementation. In pAs '97","author":"Gaudiot J.","year":"1997","unstructured":"{GDF+97} Gaudiot , J. - L. , T. DeBoni , J. Feo , W. Bohm , W. Najjar , and P. Miller . The Sisal model of functional programming and its implementation. In pAs '97 , Los Alamitos, CA , March 1997 . IEEE Computer Society Press , pp. 112 -- 123 . {GDF+97} Gaudiot, J.-L., T. DeBoni, J. Feo, W. Bohm, W. Najjar, and P. Miller. The Sisal model of functional programming and its implementation. In pAs '97, Los Alamitos, CA, March 1997. IEEE Computer Society Press, pp. 112--123."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647472.727439"},{"key":"e_1_3_2_1_21_1","unstructured":"{GR93} \n      Gansner E. R.\n       and \n      J. H.\n      Reppy\n  . \n  A Multi-threaded Higher-order User Interface Toolkit vol. \n  1\n   of \n  Software Trends pp. \n  61\n  --\n  80\n  . \n  John Wiley & Sons 1993\n  .   {GR93} Gansner E. R. and J. H. Reppy. A Multi-threaded Higher-order User Interface Toolkit vol. 1 of Software Trends pp. 61--80. John Wiley & Sons 1993."},{"key":"e_1_3_2_1_22_1","volume-title":"Parallel SML: a Functional Language and its Implementation in Dactl","author":"Ham K.","year":"1991","unstructured":"{ Ham 91} Hammond, K. Parallel SML: a Functional Language and its Implementation in Dactl . The MIT Press , Cambridge, MA , 1991 . {Ham91} Hammond, K. Parallel SML: a Functional Language and its Implementation in Dactl. The MIT Press, Cambridge, MA, 1991."},{"key":"e_1_3_2_1_23_1","volume-title":"Computer Science Department","author":"Hed P.","year":"1998","unstructured":"{ Hed 98} Hedqvist, P. A parallel and multithreaded ERLANG implementation. Master's dissertation , Computer Science Department , Uppsala University , Uppsala, Sweden , June 1998 . {Hed98} Hedqvist, P. A parallel and multithreaded ERLANG implementation. Master's dissertation, Computer Science Department, Uppsala University, Uppsala, Sweden, June 1998."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802046"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168627"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030127"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11758525_122"},{"key":"e_1_3_2_1_30_1","volume-title":"April","author":"Ler X.","year":"2000","unstructured":"{ Ler 00} Leroy, X. The Objective Caml System (release 3.00) , April 2000 . Available from http:\/\/caml.inria.fr. {Ler00} Leroy, X. The Objective Caml System (release 3.00), April 2000. Available from http:\/\/caml.inria.fr."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378858"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91631"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2005.1"},{"key":"e_1_3_2_1_34_1","volume-title":"Implicit Parallel Programming in pH","author":"Nikhil R. S.","year":"2001","unstructured":"{NA01} Nikhil , R. S. and Arvind. Implicit Parallel Programming in pH . Morgan Kaufmann Publishers , San Francisco, CA , 2001 . {NA01} Nikhil, R. S. and Arvind. Implicit Parallel Programming in pH. Morgan Kaufmann Publishers, San Francisco, CA, 2001."},{"key":"e_1_3_2_1_35_1","volume-title":"MIT","author":"Nik R. S.","year":"1991","unstructured":"{ Nik 91} Nikhil, R. S. ID Language Reference Manual. Laboratory for Computer Science , MIT , Cambridge, MA , July 1991 . {Nik91} Nikhil, R. S. ID Language Reference Manual. Laboratory for Computer Science, MIT, Cambridge, MA, July 1991."},{"key":"e_1_3_2_1_36_1","volume-title":"The Manticore runtime model. Master's dissertation","author":"Rai M.","year":"2007","unstructured":"{ Rai 07} Rainey, M. The Manticore runtime model. Master's dissertation , University of Chicago , January 2007 . Available from http:\/\/manticore.cs.uchicago.edu. {Rai07} Rainey, M. The Manticore runtime model. Master's dissertation, University of Chicago, January 2007. Available from http:\/\/manticore.cs.uchicago.edu."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/357318.357320"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113470"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019459"},{"key":"e_1_3_2_1_43_1","unstructured":"{Ros} Rossberg A. HaMLet. Available from http:\/\/www.ps.uni-sb.de\/hamlet.  {Ros} Rossberg A. HaMLet. Available from http:\/\/www.ps.uni-sb.de\/hamlet."},{"key":"e_1_3_2_1_44_1","volume-title":"November","author":"Ramsey N.","year":"2000","unstructured":"{RP00} Ramsey , N. and S. Peyton Jones . Featherweight concurrency in a portable assembly language. Unpublished paper available at http:\/\/www.cminusminus.org\/abstracts\/c-con.html , November 2000 . {RP00} Ramsey, N. and S. Peyton Jones. Featherweight concurrency in a portable assembly language. Unpublished paper available at http:\/\/www.cminusminus.org\/abstracts\/c-con.html, November 2000."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507655"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190264"},{"key":"e_1_3_2_1_47_1","volume-title":"CW '97","author":"Shi O.","year":"1997","unstructured":"{ Shi 97} Shivers, O. Continuations and threads: Expressing machine concurrency directly in advanced languages . In CW '97 , January 1997 . {Shi97} Shivers, O. Continuations and threads: Expressing machine concurrency directly in advanced languages. In CW '97, January 1997."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407910"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802786"},{"key":"e_1_3_2_1_51_1","volume-title":"Toward optimization of Concurrent ML. Master's dissertation","author":"Xia Y.","year":"2005","unstructured":"{ Xia 05} Xiao, Y. Toward optimization of Concurrent ML. Master's dissertation , University of Chicago , December 2005 . {Xia05} Xiao, Y. Toward optimization of Concurrent ML. Master's dissertation, University of Chicago, December 2005."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990060"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159822"}],"event":{"name":"POPL07: The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Nice France","acronym":"POPL07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Intel Intel"]},"container-title":["Proceedings of the 2007 workshop on Declarative aspects of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1248648.1248656","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1248648.1248656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:26Z","timestamp":1750258286000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1248648.1248656"}},"subtitle":["a heterogeneous parallel language"],"short-title":[],"issued":{"date-parts":[[2007,1,16]]},"references-count":50,"alternative-id":["10.1145\/1248648.1248656","10.1145\/1248648"],"URL":"https:\/\/doi.org\/10.1145\/1248648.1248656","relation":{},"subject":[],"published":{"date-parts":[[2007,1,16]]},"assertion":[{"value":"2007-01-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}