{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:36Z","timestamp":1750306896835,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T00:00:00Z","timestamp":1358726400000},"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":[[2013,1,21]]},"DOI":"10.1145\/2426890.2426908","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"77-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Just do it while compiling!"],"prefix":"10.1145","author":[{"given":"Bruno","family":"Martinez","sequence":"first","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Gershom Bazerman. Fixing performance leaks at the type level. URL http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/ 2011-July\/093974.html.  Gershom Bazerman. Fixing performance leaks at the type level. URL http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/ 2011-July\/093974.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017473"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040306"},{"volume-title":"Nottingham","year":"1996","author":"Benedict","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408682"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Rob\n       \n      Hoogerwoord\n    .\n      \n  \n   \n  A logarithmic implementation of flexible arrays. In R. Bird C. Morgan and J. Woodcock editors phMathematics of Program Construction volume \n  669\n   of \n  Lecture Notes in Computer Science pages \n  191\n  --\n  207\n  . \n  Springer Berlin Heidelberg 1993\n  .   Rob Hoogerwoord. A logarithmic implementation of flexible arrays. In R. Bird C. Morgan and J. Woodcock editors phMathematics of Program Construction volume 669 of Lecture Notes in Computer Science pages 191--207. Springer Berlin Heidelberg 1993.","DOI":"10.1007\/3-540-56625-2_14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836108"},{"volume-title":"Proceedings of the 1999 Haskell Workshop","year":"1999","author":"Mark","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Oleg Kiselyov. Type equality predicates: from OverlappingInstances to overcoming them 2012. URL okmij.org\/ftp\/Haskell\/typeEQ.html.  Oleg Kiselyov. Type equality predicates: from OverlappingInstances to overcoming them 2012. URL okmij.org\/ftp\/Haskell\/typeEQ.html."},{"volume-title":"Draft","year":"2005","author":"Kiselyov Oleg","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"volume-title":"Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05)","year":"2005","author":"Leijen Daan","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90106-0"},{"volume-title":"USA","year":"1996","author":"Okasaki Chris","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_19_1","unstructured":"Simon Peyton Jones and Greg Morrisett. A proposal for records in Haskell 2003. URL http:\/\/research.microsoft.com\/en-us\/um\/people\/simonpj\/haskell\/records.html.  Simon Peyton Jones and Greg Morrisett. A proposal for records in Haskell 2003. URL http:\/\/research.microsoft.com\/en-us\/um\/people\/simonpj\/haskell\/records.html."},{"volume-title":"Haskell Workshop","year":"1997","author":"Jones Simon Peyton","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411203.1411215"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159846"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/648085.747182"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596586"}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Rome Italy","acronym":"POPL '13"},"container-title":["Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2426890.2426908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2426890.2426908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:05Z","timestamp":1750234745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2426890.2426908"}},"subtitle":["fast extensible records in haskell"],"short-title":[],"issued":{"date-parts":[[2013,1,21]]},"references-count":23,"alternative-id":["10.1145\/2426890.2426908","10.1145\/2426890"],"URL":"https:\/\/doi.org\/10.1145\/2426890.2426908","relation":{},"subject":[],"published":{"date-parts":[[2013,1,21]]},"assertion":[{"value":"2013-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}