{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:26Z","timestamp":1763467826608,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T00:00:00Z","timestamp":1191283200000},"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,2]]},"DOI":"10.1145\/1292535.1292539","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"15-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Status report"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Fluet","sequence":"first","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nic","family":"Ford","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Rainey","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Reppy","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Shaw","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingqi","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380190206"},{"key":"e_1_3_2_1_2_1","volume-title":"Compiling with Continuations","author":"Appel A. W.","year":"1992","unstructured":"Appel , A. W. Compiling with Continuations . Cambridge University Press , Cambridge, England , 1992 . 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":"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 . 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\/1015706.1015800"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232650"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231395"},{"key":"e_1_3_2_1_10_1","first-page":"52","volume-title":"HIPS '04","author":"Callahan D.","year":"2004","unstructured":"Callahan , D. , B. L. Chamberlain , and H. P. Zima . The Cascade High Productivity Language . In HIPS '04 , Los Alamitos, CA , April 2004 . IEEE Computer Society Press , pp. 52 -- 60 . Callahan, D., B. L. Chamberlain, and H. P. Zima. The Cascade High Productivity Language. In HIPS '04, Los Alamitos, CA, April 2004. IEEE Computer Society Press, pp. 52--60."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351249"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"524","volume-title":"Euro-Par '01","author":"Chakravarty M. M. T.","year":"2001","unstructured":"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 . 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_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146813"},{"key":"e_1_3_2_1_15_1","first-page":"34","volume-title":"WoTUG20","author":"Demaine E. D.","year":"1997","unstructured":"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\/. 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\/."},{"issue":"4","key":"e_1_3_2_1_16_1","first-page":"361","article-title":"Representing control: A study of the CPS transformation","volume":"2","author":"Danvy O.","year":"1992","unstructured":"Danvy , O. and A. Filinski . Representing control: A study of the CPS transformation . MSCS , 2 ( 4 ), 1992 , pp. 361 -- 391 . Danvy, O. and A. Filinski. Representing control: A study of the CPS transformation. MSCS, 2(4), 1992, pp. 361--391.","journal-title":"MSCS"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.174673"},{"key":"e_1_3_2_1_18_1","first-page":"137","volume-title":"OSDI '04","author":"Dean J.","year":"2004","unstructured":"Dean , J. and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In OSDI '04 , December 2004 , pp. 137 -- 150 . 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_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(89)90018-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158611"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996849"},{"key":"e_1_3_2_1_22_1","volume-title":"Bell Labs","author":"Fisher K.","year":"2002","unstructured":"Fisher , K. and J. Reppy . Compiler support for lightweight concurrency. Technical memorandum , Bell Labs , March 2002 . Available from http:\/\/moby.cs.uchicago.edu\/. 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_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248656"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/229542.229546"},{"key":"e_1_3_2_1_25_1","first-page":"112","volume-title":"The Sisal model of functional programming and its implementation. In pAs '97","author":"Gaudiot J.","year":"1997","unstructured":"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 . 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_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647472.727439"},{"key":"e_1_3_2_1_27_1","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey M. R.","year":"1979","unstructured":"Garey , M. R. and D. S. Johnson . Computers and Intractability: A Guide to the Theory of NP-Completeness . W.H. Freeman , 1979 . Garey, M. R. and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, 1979."},{"key":"e_1_3_2_1_28_1","unstructured":"Gansner E. R.\n       and \n      J. H.\n      Reppy\n  . \n  A Multi-threaded Higherorder User Interface Toolkit vol. \n  1\n   of \n  Software Trends pp. \n  61\n  --\n  80\n  . \n  John Wiley & Sons 1993\n  .   Gansner E. R. and J. H. Reppy. A Multi-threaded Higherorder User Interface Toolkit vol. 1 of Software Trends pp. 61--80. John Wiley & Sons 1993."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1106784"},{"key":"e_1_3_2_1_30_1","volume-title":"Parallel SML: a Functional Language and its Implementation in Dactl","author":"Hammond K.","year":"1991","unstructured":"Hammond , K. Parallel SML: a Functional Language and its Implementation in Dactl . The MIT Press , Cambridge, MA , 1991 . Hammond, K. Parallel SML: a Functional Language and its Implementation in Dactl. The MIT Press, Cambridge, MA, 1991."},{"key":"e_1_3_2_1_31_1","volume-title":"Computer Science Department","author":"Hedqvist P.","year":"1998","unstructured":"Hedqvist , P. A parallel and multithreaded ERLANG implementation. Master's dissertation , Computer Science Department , Uppsala University , Uppsala, Sweden , June 1998 . 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_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802018"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802046"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168627"},{"key":"e_1_3_2_1_35_1","volume-title":"August","author":"Hofstee H. P.","year":"2005","unstructured":"Hofstee , H. P. Cell broadband engine architecture from 20,000 feet. Available at http:\/\/www-128.ibm.com\/developerworks\/power\/library\/pa-cbea.html , August 2005 . Hofstee, H. P. Cell broadband engine architecture from 20,000 feet. Available at http:\/\/www-128.ibm.com\/developerworks\/power\/library\/pa-cbea.html, August 2005."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11758525_122"},{"key":"e_1_3_2_1_39_1","volume-title":"April","author":"Leroy X.","year":"2000","unstructured":"Leroy , X. The Objective Caml System (release 3.00) , April 2000 . Available from http:\/\/caml.inria.fr. Leroy, X. The Objective Caml System (release 3.00), April 2000. Available from http:\/\/caml.inria.fr."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378858"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91631"},{"key":"e_1_3_2_1_42_1","volume-title":"Implicit Parallel Programming in pH","author":"Nikhil R. S.","year":"2001","unstructured":"Nikhil , R. S. and Arvind. Implicit Parallel Programming in pH . Morgan Kaufmann Publishers , San Francisco, CA , 2001 . Nikhil, R. S. and Arvind. Implicit Parallel Programming in pH. Morgan Kaufmann Publishers, San Francisco, CA, 2001."},{"key":"e_1_3_2_1_43_1","volume-title":"MIT","author":"Nikhil R. S.","year":"1991","unstructured":"Nikhil , R. S. ID Language Reference Manual. Laboratory for Computer Science , MIT , Cambridge, MA , July 1991 . Nikhil, R. S. ID Language Reference Manual. Laboratory for Computer Science, MIT, Cambridge, MA, July 1991."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095418"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1155\/2005\/962135"},{"key":"e_1_3_2_1_46_1","series-title":"LNCS","first-page":"258","volume-title":"CC '92","author":"Pettersson M.","year":"1992","unstructured":"Pettersson , M. A term pattern-match compiler inspired by finite automata theory . In CC '92 , vol. 641 of LNCS , New York, NY , October 1992 . Springer-Verlag , pp. 258 -- 270 . Pettersson, M. A term pattern-match compiler inspired by finite automata theory. In CC '92, vol. 641 of LNCS, New York, NY, October 1992. Springer-Verlag, pp. 258--270."},{"key":"e_1_3_2_1_47_1","first-page":"203","volume-title":"Proceedings of the 2001 Haskell Workshop","author":"Peyton Jones S.","year":"2001","unstructured":"Peyton Jones , S. , A. Tolmach , and T. Hoare . Playing by the rules: Rewriting as a practical optimization technique in GHC . In Proceedings of the 2001 Haskell Workshop , September 2001 , pp. 203 -- 233 . Peyton Jones, S., A. Tolmach, and T. Hoare. Playing by the rules: Rewriting as a practical optimization technique in GHC. In Proceedings of the 2001 Haskell Workshop, September 2001, pp. 203--233."},{"key":"e_1_3_2_1_48_1","volume-title":"The Manticore runtime model. Master's dissertation","author":"Rainey M.","year":"2007","unstructured":"Rainey , M. The Manticore runtime model. Master's dissertation , University of Chicago , January 2007 . Available from http:\/\/manticore.cs.uchicago.edu. 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_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/357318.357320"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113470"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020839128338"},{"key":"e_1_3_2_1_56_1","unstructured":"Rossberg A. HaMLet. Available from http:\/\/www.ps.uni-sb.de\/hamlet.  Rossberg A. HaMLet. Available from http:\/\/www.ps.uni-sb.de\/hamlet."},{"key":"e_1_3_2_1_57_1","volume-title":"November","author":"Ramsey N.","year":"2000","unstructured":"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 . 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_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507655"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190264"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345125"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317783"},{"key":"e_1_3_2_1_62_1","volume-title":"Data parallelism in Manticore. Master's dissertation","author":"Shaw A.","year":"2007","unstructured":"Shaw , A. Data parallelism in Manticore. Master's dissertation , University of Chicago , July 2007 . Available from http:\/\/manticore.cs.uchicago.edu. Shaw, A. Data parallelism in Manticore. Master's dissertation, University of Chicago, July 2007. Available from http:\/\/manticore.cs.uchicago.edu."},{"key":"e_1_3_2_1_63_1","volume-title":"CW '97","author":"Shivers O.","year":"1997","unstructured":"Shivers , O. Continuations and threads: Expressing machine concurrency directly in advanced languages . In CW '97 , New York, NY , January 1997 . ACM. Shivers, O. Continuations and threads: Expressing machine concurrency directly in advanced languages. In CW '97, New York, NY, January 1997. ACM."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1122972"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407910"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802786"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990060"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159822"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the 2007 workshop on Workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1292535.1292539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:49Z","timestamp":1750258669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292539"}},"subtitle":["the manticore project"],"short-title":[],"issued":{"date-parts":[[2007,10,2]]},"references-count":63,"alternative-id":["10.1145\/1292535.1292539","10.1145\/1292535"],"URL":"https:\/\/doi.org\/10.1145\/1292535.1292539","relation":{},"subject":[],"published":{"date-parts":[[2007,10,2]]},"assertion":[{"value":"2007-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}