{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:45Z","timestamp":1772164065636,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"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":[[2015,8,30]]},"DOI":"10.1145\/2804302.2804313","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T10:09:20Z","timestamp":1440410960000},"page":"201-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Type-safe runtime code generation: accelerate to LLVM"],"prefix":"10.1145","author":[{"given":"Trevor L.","family":"McDonell","sequence":"first","affiliation":[{"name":"Indiana University, USA"}]},{"given":"Manuel M. T.","family":"Chakravarty","sequence":"additional","affiliation":[{"name":"UNSW, Australia"}]},{"given":"Vinod","family":"Grover","sequence":"additional","affiliation":[{"name":"NVIDIA, USA"}]},{"given":"Ryan R.","family":"Newton","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647849.737066"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596644"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941562"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869527"},{"key":"e_1_3_2_1_7_1","volume-title":"Converting a HOAS term GADT into a de Bruijn term GADT","author":"Chakravarty M. M. T.","year":"2009","unstructured":"M. M. T. Chakravarty . Converting a HOAS term GADT into a de Bruijn term GADT , 2009 . URL http:\/\/www.cse.unsw.edu.au\/ ~chak\/haskell\/term-conv\/. M. M. T. Chakravarty. Converting a HOAS term GADT into a de Bruijn term GADT, 2009. URL http:\/\/www.cse.unsw.edu.au\/ ~chak\/haskell\/term-conv\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_10_1","first-page":"675","volume-title":"Supercomputing","author":"Chatterjee S.","year":"1990","unstructured":"S. Chatterjee , G. E. Blelloch , and M. Zagha . Scan primitives for vector computers . In Supercomputing , pages 666\u2013 675 , 1990 . S. Chatterjee, G. E. Blelloch, and M. Zagha. Scan primitives for vector computers. In Supercomputing, pages 666\u2013675, 1990."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_12_1","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"Cole M. I.","year":"1989","unstructured":"M. I. Cole . Algorithmic Skeletons: Structured Management of Parallel Computation . The MIT Press , 1989 . M. I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. The MIT Press, 1989."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_15_1","volume-title":"Palgrave","author":"Elliott C.","year":"2003","unstructured":"C. Elliott . Functional Images . In The Fun of Programming . Palgrave , 2003 . C. Elliott. Functional Images. In The Fun of Programming. Palgrave, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017482"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364562"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735997.1736006"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512761"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411218"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509516"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863582"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/202529.202532"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_26_1","volume-title":"GCC Developers\u2019 Summit","author":"Lattner C.","year":"2003","unstructured":"C. Lattner and V. Adve . Architecture for a Next-Generation GCC . In GCC Developers\u2019 Summit , 2003 . C. Lattner and V. Adve. Architecture for a Next-Generation GCC. In GCC Developers\u2019 Summit, 2003."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364511"},{"key":"e_1_3_2_1_29_1","first-page":"10","volume-title":"The International Conference on High Performance Computing","author":"Ma W.","year":"2010","unstructured":"W. Ma and G. Agrawal . An integer programming framework for optimizing shared memory use on GPUs. In HiPC \u201910 : The International Conference on High Performance Computing , pages 1\u2013 10 , 2010 . W. Ma and G. Agrawal. An integer programming framework for optimizing shared memory use on GPUs. In HiPC \u201910: The International Conference on High Performance Computing, pages 1\u201310, 2010."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_31_1","volume-title":"Type-Preserving Renaming and Substitution. Journal of Functional Programming","author":"McBride C.","year":"2006","unstructured":"C. McBride . Type-Preserving Renaming and Substitution. Journal of Functional Programming , 2006 . C. McBride. Type-Preserving Renaming and Substitution. Journal of Functional Programming, 2006."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"e_1_3_2_1_34_1","unstructured":"NVIDIA. CUDA LLVM Compiler. URL https:\/\/developer. nvidia.com\/cuda-llvm-compiler.  NVIDIA. CUDA LLVM Compiler. URL https:\/\/developer. nvidia.com\/cuda-llvm-compiler."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155112"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_37_1","first-page":"13","volume-title":"Innovative Parallel Computing","author":"Pharr M.","year":"2012","unstructured":"M. Pharr and W. R. Mark . ispc: A SPMD compiler for highperformance CPU programming . In Innovative Parallel Computing , pages 1\u2013 13 , 2012 . M. Pharr and W. R. Mark. ispc: A SPMD compiler for highperformance CPU programming. In Innovative Parallel Computing, pages 1\u201313, 2012."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC1321"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429128"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594316"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_42_1","first-page":"106","volume-title":"Graphics Hardware","author":"Sengupta S.","year":"2007","unstructured":"S. Sengupta , M. Harris , Y. Zhang , and J. D. Owens . Scan primitives for GPU computing . In Graphics Hardware , pages 97\u2013 106 , 2007 . S. Sengupta, M. Harris, Y. Zhang, and J. D. Owens. Scan primitives for GPU computing. In Graphics Hardware, pages 97\u2013106, 2007."},{"key":"e_1_3_2_1_43_1","first-page":"14","volume-title":"FASPP \u201911: Future Architectural Support for Parallel Programming","author":"Svensson B. J.","year":"2011","unstructured":"B. J. Svensson and R. Newton . Programming Future Parallel Architectures with Haskell and Intel ArBB . In FASPP \u201911: Future Architectural Support for Parallel Programming , pages 3\u2013 14 , 2011 . B. J. Svensson and R. Newton. Programming Future Parallel Architectures with Haskell and Intel ArBB. In FASPP \u201911: Future Architectural Support for Parallel Programming, pages 3\u201314, 2011."},{"key":"e_1_3_2_1_44_1","volume-title":"IFL: Implementation and Application of Functional Languages","author":"Svensson B. J.","year":"2008","unstructured":"B. J. Svensson , M. Sheeran , and K. Claessen . Obsidian: A domain specific embedded language for parallel programming of graphics processors . In IFL: Implementation and Application of Functional Languages , 2008 . B. J. Svensson, M. Sheeran, and K. Claessen. Obsidian: A domain specific embedded language for parallel programming of graphics processors. In IFL: Implementation and Application of Functional Languages, 2008."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863538"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693479"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804313","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804302.2804313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:07:10Z","timestamp":1750208830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":48,"alternative-id":["10.1145\/2804302.2804313","10.1145\/2804302"],"URL":"https:\/\/doi.org\/10.1145\/2804302.2804313","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2887747.2804313","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}