乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T01:11:44Z","timestamp":1723943504991},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,3]]},"DOI":"10.1145\/2636228.2636238","type":"proceedings-article","created":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T19:09:15Z","timestamp":1409944155000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Size slicing"],"prefix":"10.1145","author":[{"given":"Troels","family":"Henriksen","sequence":"first","affiliation":[{"name":"HIPERFIT, University of Copenhagen (DIKU), Copenhagen, Denmark"}]},{"given":"Martin","family":"Elsman","sequence":"additional","affiliation":[{"name":"HIPERFIT, University of Copenhagen (DIKU), Copenhagen, Denmark"}]},{"given":"Cosmin E.","family":"Oancea","sequence":"additional","affiliation":[{"name":"HIPERFIT, University of Copenhagen (DIKU), Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646831.707715"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364563"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237771"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_5_1","volume-title":"MIT Press","author":"Blelloch G. E.","year":"1990"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1038"},{"key":"e_1_3_2_1_7_1","first-page":"141","volume-title":"Procs. Langs. Comp. Parallel Computing (LCPC)","author":"Blume W.","year":"1994"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_9_1","first-page":"119","volume-title":"Procs. Int. Symp. Symbolic and Numeric Alg. for Scientific Computing (SYNASC)","author":"Chicha Y.","year":"2004"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_3_2_1_11_1","first-page":"20","volume-title":"Processing Symp. (PDPS)","author":"Dang F.","year":"2002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627373.2627390"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233307.1233309"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005538"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/312627.312719"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0018-x"},{"key":"e_1_3_2_1_17_1","first-page":"129","volume-title":"Towards Hybrid Array Types in SAC. In 7th Workshop on Prg. Lang., (Soft. Eng. Conf.)","author":"Grelck C.","year":"2014"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926359"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.3.238"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075385"},{"key":"e_1_3_2_1_21_1","volume-title":"DIKU","author":"Henriksen T.","year":"2014"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502323.2502328"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627373.2627388"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1098666"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050037"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238851"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364474.2364484"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89740-8_11"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254124"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073921"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542431.1542434"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926449"},{"key":"e_1_3_2_1_34_1","author":"Rundberg P.","year":"1999","journal-title":"phJournal of Instruction-Level Parallelism"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/141478.141563"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.69"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781142"},{"key":"e_1_3_2_1_38_1","volume-title":"IFL'2012","author":"Thiemann P.","year":"2013"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LISP.0000029446.78563.a4"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.03.002"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044476.2044482"},{"key":"e_1_3_2_1_42_1","volume-title":"University of Copenhagen","author":"Vejlstrup M.","year":"1994"},{"key":"e_1_3_2_1_43_1","first-page":"154","volume-title":"Handbook of Computer Algebra","author":"Watt S. M.","year":"2003"},{"key":"e_1_3_2_1_44_1","first-page":"63","volume-title":"Procs of Computing Tools For Scientific Problem Solving","author":"Watt S. M.","year":"1990"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2012.21"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2636228.2636238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T21:00:28Z","timestamp":1672952428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2636228.2636238"}},"subtitle":["a hybrid approach to size inference in futhark"],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":45,"alternative-id":["10.1145\/2636228.2636238","10.1145\/2636228"],"URL":"https:\/\/doi.org\/10.1145\/2636228.2636238","relation":{},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}