{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:16Z","timestamp":1772163916158,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T00:00:00Z","timestamp":1095552000000},"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":[[2004,9,19]]},"DOI":"10.1145\/1016850.1016865","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"90-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Implementing functional logic languages using multiple threads and stores"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Tolmach","sequence":"first","affiliation":[{"name":"Portland State University, Portland, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Antoy","sequence":"additional","affiliation":[{"name":"Portland State University, Portland, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Nita","sequence":"additional","affiliation":[{"name":"Portland State University, Portland, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"42","volume-title":"Proc. Workshop on Next Generation Information System Technology","author":"A\u00eft-Kaci H.","year":"1990","unstructured":"H. A\u00eft-Kaci . An overview of LIFE. In J. Schmidt and A. Stogny, editors , Proc. Workshop on Next Generation Information System Technology , pages 42 -- 58 . Springer LNCS 504 , 1990 .]] H. A\u00eft-Kaci. An overview of LIFE. In J. Schmidt and A. Stogny, editors, Proc. Workshop on Next Generation Information System Technology, pages 42--58. Springer LNCS 504, 1990.]]"},{"key":"e_1_3_2_1_2_1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. Int'l Workshop on Functional and (Constraint) Logic Programming","author":"Albert E.","year":"2002","unstructured":"E. Albert , M. Hanus , F. Huch , J. Oliver , and G. Vidal . Operational semantics for functional logic languages . In M. Comini and M. Falaschi, editors, Proc. Int'l Workshop on Functional and (Constraint) Logic Programming , volume 76 of Electronic Notes in Theoretical Computer Science . Elsevier Science Publishers , 2002 .]] E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational semantics for functional logic languages. In M. Comini and M. Falaschi, editors, Proc. Int'l Workshop on Functional and (Constraint) Logic Programming, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773206"},{"key":"e_1_3_2_1_4_1","volume-title":"Compiling with Continuations","author":"Appel A. W.","year":"1992","unstructured":"A. W. Appel . Compiling with Continuations . Cambridge University Press , 1992 .]] A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646448.692475"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646914.759784"},{"key":"e_1_3_2_1_10_1","first-page":"9","volume-title":"Proc. 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97)","author":"Hanus M.","year":"1997","unstructured":"M. Hanus . A unified computation model for declarative programming . In Proc. 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97) , pages 9 -- 24 , 1997 .]] M. Hanus. A unified computation model for declarative programming. In Proc. 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pages 9--24, 1997.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263710"},{"key":"e_1_3_2_1_12_1","volume-title":"PAKCS: The Portland Aachen Kiel Curry System.","author":"Hanus M.","year":"2002","unstructured":"M. Hanus , S. Antoy , K. H\u00f6ppner , J. Koj , P. Niederau , R. Sadre , and F. Steiner . PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/, 2002 .]] M. Hanus, S. Antoy, K. H\u00f6ppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/, 2002.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"editor","author":"Hanus M.","unstructured":"M. Hanus , editor . Curry : An integrated functional logic language (version 0.8). Available at http:\/\/www.informatik.uni-kiel.de\/~curry, Apr. 2004.]] M. Hanus, editor. Curry: An integrated functional logic language (version 0.8). Available at http:\/\/www.informatik.uni-kiel.de\/~curry, Apr. 2004.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90016-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802018"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(94)90014-0"},{"key":"e_1_3_2_1_17_1","volume-title":"thesis","author":"Johnsson T.","year":"1987","unstructured":"T. Johnsson . Compiling lazy functional languages. Ph . D. thesis , Chalmers University , 1987 .]] T. Johnsson. Compiling lazy functional languages. Ph.D. thesis, Chalmers University, 1987.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000277"},{"issue":"3","key":"e_1_3_2_1_19_1","first-page":"1","article-title":"Programming in an integrated functional and logic language","volume":"1999","author":"Lloyd J.","year":"1999","unstructured":"J. Lloyd . Programming in an integrated functional and logic language . Journal of Functional and Logic Programming , 1999 ( 3 ): 1 -- 49 , 1999 .]] J. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3):1--49, 1999.]]","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_1_20_1","first-page":"244","volume-title":"Proc. of RTA'99","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez . TOY: A Multiparadigm Declarative System . In Proc. of RTA'99 , pages 244 -- 247 . Springer LNCS 1631, 1999 .]] F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proc. of RTA'99, pages 244--247. Springer LNCS 1631, 1999.]]"},{"key":"e_1_3_2_1_21_1","unstructured":"W.\n      Lux\n    . \n      The M\u00fcnster\n     Curry compiler.\n   Available at http: \/\/danae.uni-muenster.de\/~lux\/curry\/ 2004\n  .]]  W. Lux. The M\u00fcnster Curry compiler. Available at http: \/\/danae.uni-muenster.de\/~lux\/curry\/ 2004.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"e_1_3_2_1_23_1","first-page":"178","volume-title":"Demand Paging Virtual Memory Manager for System V. In USENIX Association Conference Proceedings","author":"Miller R.","year":"1984","unstructured":"R. Miller . A Demand Paging Virtual Memory Manager for System V. In USENIX Association Conference Proceedings , pages 178 -- 182 , June 1984 .]] R. Miller. A Demand Paging Virtual Memory Manager for System V. In USENIX Association Conference Proceedings, pages 178--182, June 1984.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"The Standard ML Programming Language (Revised)","author":"Milner R.","year":"1997","unstructured":"R. Milner , M. Tofte , R. Harper , and D. B. MacQueen . The Standard ML Programming Language (Revised) . MIT Press , 1997 .]] R. Milner, M. Tofte, R. Harper, and D. B. MacQueen. The Standard ML Programming Language (Revised). MIT Press, 1997.]]"},{"key":"e_1_3_2_1_25_1","first-page":"73","volume-title":"Proc. Workshop on State in Programming Languages","author":"Morrisett J. G.","year":"1993","unstructured":"J. G. Morrisett . Refining first-class stores . In Proc. Workshop on State in Programming Languages , pages 73 -- 87 , Copenhagen, Denmark , June 1993 .]] J. G. Morrisett. Refining first-class stores. In Proc. Workshop on State in Programming Languages, pages 73--87, Copenhagen, Denmark, June 1993.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004331"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_28_1","volume-title":"Collected Papers, Volumes 1 and 2","author":"Shapiro E.","year":"1987","unstructured":"E. Shapiro , editor. Concurrent Prolog , Collected Papers, Volumes 1 and 2 . MIT Press, Cambridge , Massachusetts , 1987 .]] E. Shapiro, editor. Concurrent Prolog, Collected Papers, Volumes 1 and 2. MIT Press, Cambridge, Massachusetts, 1987.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015252"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"e_1_3_2_1_31_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Tolmach A.","year":"2003","unstructured":"A. Tolmach and S. Antoy . A monadic semantics for core Curry . In G. Vidal, editor, Electronic Notes in Theoretical Computer Science , volume 86 . Elsevier , 2003 .]] A. Tolmach and S. Antoy. A monadic semantics for core Curry. In G. Vidal, editor, Electronic Notes in Theoretical Computer Science, volume 86. Elsevier, 2003.]]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001313"}],"event":{"name":"ICFP04: ACM SIGPLAN International Conference on Functional Programming","location":"Snow Bird UT USA","acronym":"ICFP04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the ninth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1016850.1016865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:00Z","timestamp":1750249860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,19]]},"references-count":31,"alternative-id":["10.1145\/1016850.1016865","10.1145\/1016850"],"URL":"https:\/\/doi.org\/10.1145\/1016850.1016865","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1016848.1016865","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,9,19]]},"assertion":[{"value":"2004-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}