{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:14:18Z","timestamp":1730315658025,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232644","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"146-156","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["The semantics of Scheme with future"],"prefix":"10.1145","author":[{"given":"Luc","family":"Moreau","sequence":"first","affiliation":[{"name":"Department of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_2_2","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt Henk P.","year":"1984","unstructured":"Henk P. Barendregt . The Lambda Calculus: Its Syntax and Semantics , volume 103 of Studies in Logic and the Foundations of Mathematics . North-Holland , second edition, 1984 . Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, second edition, 1984."},{"key":"e_1_3_2_1_4_2","first-page":"193","volume-title":"Formal Description of Programming Concepts III","author":"Felleisen Matthias","year":"1986","unstructured":"Matthias Felleisen and Daniel P. Friedman . Control Operators, the SECD-Machine and the A-Calculus . In M. Wirsing, editor, Formal Description of Programming Concepts III , pages 193 - 217 , Amsterdam, 1986 . Elsevier Science Publishers B.V. (North-Holland) . Matthias Felleisen and Daniel P. Friedman. Control Operators, the SECD-Machine and the A-Calculus. In M. Wirsing, editor, Formal Description of Programming Concepts III, pages 193-217, Amsterdam, 1986. Elsevier Science Publishers B.V. (North-Holland)."},{"key":"e_1_3_2_1_5_2","first-page":"206","volume-title":"Proc. Conf. on Parallel Architecture and Languages Europe, number 259 in Lecture Notes in Computer Science","author":"Felleisen Matthias","year":"1987","unstructured":"Matthias Felleisen and Daniel P. Friedman . A Reduction Semantics for Imperative Higher-Order Languages . In Proc. Conf. on Parallel Architecture and Languages Europe, number 259 in Lecture Notes in Computer Science , pages 206 - 223 . Springer-Verlag , 1987 . Matthias Felleisen and Daniel P. Friedman. A Reduction Semantics for Imperative Higher-Order Languages. In Proc. Conf. on Parallel Architecture and Languages Europe, number 259 in Lecture Notes in Computer Science, pages 206-223. Springer-Verlag, 1987."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_2","DOI":"10.1145\/199448.199484"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_2","DOI":"10.5555\/101704.101707"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_2","DOI":"10.1145\/182409.182495"},{"key":"e_1_3_2_1_10_2","series-title":"Lecture Notes in Computer Science","first-page":"58","volume-title":"T. ito and Robert H","author":"Ito Takayasu","year":"1990","unstructured":"Takayasu Ito and Manabu Matsui . A Parallel Lisp Language Pailisp and its Kernel Specification . In T. ito and Robert H . Halstead, editors, Parallel Lisp : Languages and Systems. US\/Japan Workshop on Parallel Lisp. Japan., number 441 in Lecture Notes in Computer Science , pages 58 - 100 . Springer-Verlag , 1990 . Takayasu Ito and Manabu Matsui. A Parallel Lisp Language Pailisp and its Kernel Specification. In T. ito and Robert H. Halstead, editors, Parallel Lisp: Languages and Systems. US\/Japan Workshop on Parallel Lisp. Japan., number 441 in Lecture Notes in Computer Science, pages 58-100. Springer-Verlag, 1990."},{"key":"e_1_3_2_1_11_2","first-page":"73","volume-title":"Proceedings of the A CM SIGPLAN workshop on Continuations CW92","author":"Ito Takayasu","year":"1992","unstructured":"Takayasu Ito and Tomohiro Seino . On Pailisp Continuation and its Implementation . In Proceedings of the A CM SIGPLAN workshop on Continuations CW92 , pages 73 - 90 , San Francisco , June 1992 . Takayasu Ito and Tomohiro Seino. On Pailisp Continuation and its Implementation. In Proceedings of the A CM SIGPLAN workshop on Continuations CW92, pages 73-90, San Francisco, June 1992."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_2","DOI":"10.1145\/91556.91628"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_2","DOI":"10.1145\/91556.91631"},{"key":"e_1_3_2_1_15_2","first-page":"424","volume-title":"European Symposium on Programming (ESOP'9J), number 788 in Lecture Notes in Computer Science","author":"Moreau Luc","year":"1994","unstructured":"Luc Moreau . The PCKS-machine. An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations . In European Symposium on Programming (ESOP'9J), number 788 in Lecture Notes in Computer Science , pages 424 - 438 , Edinburgh, Scotland, April 1994 . Springer-Verlag . Luc Moreau. The PCKS-machine. An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. In European Symposium on Programming (ESOP'9J), number 788 in Lecture Notes in Computer Science, pages 424-438, Edinburgh, Scotland, April 1994. Springer-Verlag."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_2","DOI":"10.5555\/646619.697537"},{"key":"e_1_3_2_1_18_2","volume-title":"The Semantics of Scheme with Future. Technical report","author":"Moreau Luc","year":"1995","unstructured":"Luc Moreau . The Semantics of Scheme with Future. Technical report , University of Southampton , 1995 . Luc Moreau. The Semantics of Scheme with Future. Technical report, University of Southampton, 1995."},{"key":"e_1_3_2_1_19_2","volume-title":"Beaune","author":"Moreau Luc","year":"1995","unstructured":"Luc Moreau and Daniel Ribbens . The Semantics of pcall and fork. In R. Halstead, T. Ito, and C. Queinnec, editors, PSLS 95- Parallel Symbolic Langages and Systems , Beaune , France , October 1995 . Luc Moreau and Daniel Ribbens. The Semantics of pcall and fork. In R. Halstead, T. Ito, and C. Queinnec, editors, PSLS 95- Parallel Symbolic Langages and Systems, Beaune, France, October 1995."},{"key":"e_1_3_2_1_20_2","volume-title":"Parallel Symbolic Languages and Systems.","author":"Queinnec Christian","year":"1995","unstructured":"Christian Queinnec . DMEROON : a Distributed Classbased Causally-coherent Data Model: Preliminary Report . In Parallel Symbolic Languages and Systems. , Beaune, France , October 1995 . Christian Queinnec. DMEROON: a Distributed Classbased Causally-coherent Data Model: Preliminary Report. In Parallel Symbolic Languages and Systems., Beaune, France, October 1995."},{"key":"e_1_3_2_1_21_2","volume-title":"Parallel Symbolic Languages and Systems.","author":"Raghavachaxi Mukund","year":"1995","unstructured":"Mukund Raghavachaxi and Anne Rogers . A Case Study in Language Support for Irregular Parallelism: Blocked Sparsed Cholesky . In Parallel Symbolic Languages and Systems. , Beaune, France , October 1995 . Mukund Raghavachaxi and Anne Rogers. A Case Study in Language Support for Irregular Parallelism: Blocked Sparsed Cholesky. In Parallel Symbolic Languages and Systems., Beaune, France, October 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_2","DOI":"10.1145\/382130.382133"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_2","DOI":"10.1007\/BF01019462"},{"issue":"2","key":"e_1_3_2_1_24_2","volume":"2","author":"Talpin Jean-Pierre","year":"1992","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot . Polymorphic Type , Region and Effect Inference . Journal of Funct,onal Programming , 2 ( 2 ), 1992 . Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic Type, Region and Effect Inference. Journal of Funct,onal Programming, 2(2), 1992.","journal-title":"Journal of Funct,onal Programming"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_2","DOI":"10.1145\/62678.62682"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"ICFP96","name":"ICFP96: International Conference on Functional Programming","location":"Philadelphia Pennsylvania USA"},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:42:02Z","timestamp":1693863722000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":20,"alternative-id":["10.1145\/232627.232644","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232644","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232644","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}