乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:14:14Z","timestamp":1725725654926},"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":[[2001,5]]},"DOI":"10.1145\/378795.378858","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T16:24:15Z","timestamp":1068827055000},"page":"274-285","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Asynchronous exceptions in Haskell"],"prefix":"10.1145","author":[{"given":"Simon","family":"Marlow","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge"}]},{"given":"Simon Peyton","family":"Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge"}]},{"given":"Andrew","family":"Moran","sequence":"additional","affiliation":[{"name":"Oregon Graduate Institute"}]},{"given":"John","family":"Reppy","sequence":"additional","affiliation":[{"name":"Bell Labs, Lucent Technologies"}]}],"member":"320","published-online":{"date-parts":[[2001,5]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstrom , and M. Williams . Concurrent Programming in Erlang . Prentice Hall Europe , second edition, 1996 .]] J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe, second edition, 1996.]]"},{"key":"e_1_3_2_1_2_2","series-title":"The Java Series","volume-title":"The Java Programming Language","author":"Arnold K.","year":"1998","unstructured":"K. Arnold and J. Gosling . The Java Programming Language . The Java Series . Addison-Wesley , second edition, 1998 .]] K. Arnold and J. Gosling. The Java Programming Language. The Java Series. Addison-Wesley, second edition, 1998.]]"},{"key":"e_1_3_2_1_3_2","series-title":"LNCS","first-page":"538","volume-title":"Proc. FPCA'91","author":"Barth P.","year":"1991","unstructured":"P. Barth , R. S. Nikhil , and Arvind. M-Structures: Extending a parallel, non-strict functional language with state . In R. J. M. Hughes, editor, Proc. FPCA'91 , volume 523 of LNCS , pages 538 - 568 . Springer-Verlag , 1991 .]] P. Barth, R. S. Nikhil, and Arvind. M-Structures: Extending a parallel, non-strict functional language with state. In R. J. M. Hughes, editor, Proc. FPCA'91, volume 523 of LNCS, pages 538-568. Springer-Verlag, 1991.]]"},{"key":"e_1_3_2_1_4_2","first-page":"119","volume-title":"Systems Programming with Modula- 3","author":"Birrell A. D.","year":"1991","unstructured":"A. D. Birrell , J. V. Guttag , J. J. Horning , and R. Levin . Thread synchronization: A formal specification . In G. Nelson, editor, Systems Programming with Modula- 3 , chapter 5, pages 119 - 129 . Prentice Hall , Englewood Cliffs, NJ , 1991 .]] A. D. Birrell, J. V. Guttag, J. J. Horning, and R. Levin. Thread synchronization: A formal specification. In G. Nelson, editor, Systems Programming with Modula- 3, chapter 5, pages 119-129. Prentice Hall, Englewood Cliffs, NJ, 1991.]]"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802019"},{"key":"e_1_3_2_1_6_2","series-title":"LNCS","first-page":"58","volume-title":"Parallel Lisp: Languages and Systems","author":"Ito T.","year":"1989","unstructured":"T. Ito and M. Matsui . A parallel lisp language PaiLisp and its kernel specification . In Parallel Lisp: Languages and Systems , volume 441 of LNCS , pages 58 - 100 , June 1989 .]] T. Ito and M. Matsui. A parallel lisp language PaiLisp and its kernel specification. In Parallel Lisp: Languages and Systems, volume 441 of LNCS, pages 58-100, June 1989.]]"},{"key":"e_1_3_2_1_7_2","volume-title":"INRIA","author":"Leroy X.","year":"1999","unstructured":"X. Leroy , D. Remy , J. Vouillon , and D. Doligez . The Objective Caml system documentation and user's manual (release 2.04). Technical report , INRIA , 1999 . At http:\/\/caml.inria.fr\/ocaml\/htmlman\/.]] X. Leroy, D.Remy, J.Vouillon, and D. Doligez. The Objective Caml system documentation and user's manual (release 2.04). Technical report, INRIA, 1999. At http:\/\/caml.inria.fr\/ocaml\/htmlman\/.]]"},{"key":"e_1_3_2_1_8_2","volume-title":"Haskell Workshop","author":"Marlow S.","year":"2000","unstructured":"S. Marlow . Writing high-performance server applications in Haskell, case study: A Haskell web server . In Haskell Workshop , Montreal, Canada , September 2000 .]] S. Marlow. Writing high-performance server applications in Haskell, case study: A Haskell web server. In Haskell Workshop, Montreal, Canada, September 2000.]]"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/77325"},{"key":"e_1_3_2_1_11_2","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Imprecise exceptions, co-inductively. InProc. HOOTS'99","author":"Moran A. K.","year":"1999","unstructured":"A. K. Moran , S. B. Lassen , and S. L. Peyton Jones . Imprecise exceptions, co-inductively. InProc. HOOTS'99 , volume 26 of Electronic Notes in Theoretical Computer Science , Paris , Sept. 1999 .]] A. K. Moran, S. B. Lassen, and S. L. Peyton Jones. Imprecise exceptions, co-inductively. InProc. HOOTS'99, volume 26 of Electronic Notes in Theoretical Computer Science, Paris, Sept. 1999.]]"},{"key":"e_1_3_2_1_12_2","volume-title":"Engineering theories of software construction, Marktoberdorf Summer School","author":"Jones S. Peyton","year":"2000","unstructured":"S. Peyton Jones . Tackling the awkward squad: monadic input\/output, concurrency, exceptio ns, and foreignlanguage calls in Haskell . In R. Steinbrueggen, editor, Engineering theories of software construction, Marktoberdorf Summer School 2000 , NATO ASI Series. IOS Press , 2001.]] S. Peyton Jones. Tackling the awkward squad: monadic input\/output, concurrency, exceptio ns, and foreignlanguage calls in Haskell. In R. Steinbrueggen, editor, Engineering theories of software construction, Marktoberdorf Summer School 2000, NATO ASI Series. IOS Press, 2001.]]"},{"key":"e_1_3_2_1_13_2","volume-title":"Feb.","author":"Jones S. Peyton","year":"1998","unstructured":"S. Peyton Jones , R. Hughes , L. Augustsson , D. Barton , B. Boutel , W. Burton , J. Fasel , K. Hammond , R. Hinze , P. Hudak , T. Johnsson , M. Jones , J. Launchbury , E. Meijer , J. Peterson , A. Reid , C. Runciman , and P. Wadler . Report on the programming language Haskell 98. Technical report , Feb. 1998 .]] S. Peyton Jones, R. Hughes, L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman, and P. Wadler. Report on the programming language Haskell 98. Technical report, Feb. 1998.]]"},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301637"},{"key":"e_1_3_2_1_16_2","volume-title":"Research Report YALEU\/DCS\/RR-1175","author":"Reid A.","year":"1998","unstructured":"A. Reid . Handling exceptions in Haskell . Research Report YALEU\/DCS\/RR-1175 , Yale University , Aug. 1998 .]] A. Reid. Handling exceptions in Haskell. Research Report YALEU\/DCS\/RR-1175, Yale University, Aug. 1998.]]"},{"key":"e_1_3_2_1_17_2","series-title":"LNCS","first-page":"186","volume-title":"Proc. IFL'98 (selected papers)","author":"Reid A.","year":"1999","unstructured":"A. Reid . Putting the spine back in the Spineless Tagless G-Machine: An implementation of resumable blackholes . In Proc. IFL'98 (selected papers) , volume 1595 of LNCS , pages 186 - 199 . Springer-Verlag , 1999 .]] A. Reid. Putting the spine back in the Spineless Tagless G-Machine: An implementation of resumable blackholes. In Proc. IFL'98 (selected papers), volume 1595 of LNCS, pages 186-199. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_20_2","unstructured":"Why are Thread.stop Thread.suspend Thread.resume and Runtime.runFinalizers On Exit deprecated? In the Java 2 SDK Standard Edition Documentation. At http:\/\/java.sun.com\/products\/jdk\/1.3\/docs\/guide\/ misc\/threadPrimitiveDeprecation.html.]] Why are Thread.stop Thread.suspend Thread.resume and Runtime.runFinalizers On Exit deprecated? In the Java 2 SDK Standard Edition Documentation. At http:\/\/java.sun.com\/products\/jdk\/1.3\/docs\/guide\/ misc\/threadPrimitiveDeprecation.html.]]"},{"key":"e_1_3_2_1_21_2","series-title":"LNCS","first-page":"238","volume-title":"SAS'94","author":"In Proc K. Yi.","year":"1994","unstructured":"K. Yi. Compile-time detection of uncaught exceptions in Standard ML programs. In Proc . SAS'94 , volume 864 of LNCS , pages 238 - 254 , Sept. 1994 .]] K. Yi. Compile-time detection of uncaught exceptions in Standard ML programs. In Proc. SAS'94, volume 864 of LNCS, pages 238-254, Sept. 1994.]]"}],"event":{"name":"PLDI01: ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Snowbird Utah USA","acronym":"PLDI01"},"container-title":["Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/378795.378858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T11:16:29Z","timestamp":1693826189000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/378795.378858"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":20,"alternative-id":["10.1145\/378795.378858","10.1145\/378795"],"URL":"https:\/\/doi.org\/10.1145\/378795.378858","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/381694.378858","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2001,5]]},"assertion":[{"value":"2001-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}