{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:29Z","timestamp":1750307429057,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T00:00:00Z","timestamp":1285459200000},"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":[[2010,9,26]]},"DOI":"10.1145\/1863495.1863501","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T17:41:50Z","timestamp":1285695710000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Generic selections of subexpressions"],"prefix":"10.1145","author":[{"given":"Martijn","family":"Van Steenbergen","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, and Open University of the Netherlands, Heerlen, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2010,9,26]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_2_1","unstructured":"}}Oleg Kiselyov and Chung-chieh Shan. Annotating trees post factum. http:\/\/okmij.org\/ftp\/Algorithms.html#tree-annot July 2008. {Code file TEvalNR.hs; Online; accessed 21-July-2010}.  }}Oleg Kiselyov and Chung-chieh Shan. Annotating trees post factum. http:\/\/okmij.org\/ftp\/Algorithms.html#tree-annot July 2008. {Code file TEvalNR.hs; Online; accessed 21-July-2010}."},{"key":"e_1_3_2_2_3_1","unstructured":"}}Jeroen Leeuwestein and Martijn van Steenbergen. GroteTrap. http:\/\/ www.haskell.org\/haskellwiki\/GroteTrap June 2008. {Online; accessed 21-July-2010}.  }}Jeroen Leeuwestein and Martijn van Steenbergen. GroteTrap. http:\/\/ www.haskell.org\/haskellwiki\/GroteTrap June 2008. {Online; accessed 21-July-2010}."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"e_1_3_2_2_6_1","unstructured":"}}Conor McBride. The derivative of a regular type is its type of one-hole contexts (extended abstract) 2001. Unpublished manuscript available via http:\/\/strictlypositive.org\/diff.pdf.  }}Conor McBride. The derivative of a regular type is its type of one-hole contexts (extended abstract) 2001. Unpublished manuscript available via http:\/\/strictlypositive.org\/diff.pdf."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"volume-title":"Language and Libraries. The Revised Report","year":"2003","author":"Peyton Simon","key":"e_1_3_2_2_9_1"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"volume-title":"Utrecht University","year":"2004","author":"Schrage Martijn M.","key":"e_1_3_2_2_11_1"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"volume-title":"Utrecht University","year":"2010","author":"van Steenbergen Martijn","key":"e_1_3_2_2_13_1"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863500"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore Maryland USA","acronym":"ICFP '10"},"container-title":["Proceedings of the 6th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863501","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863495.1863501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863501"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,26]]},"references-count":14,"alternative-id":["10.1145\/1863495.1863501","10.1145\/1863495"],"URL":"https:\/\/doi.org\/10.1145\/1863495.1863501","relation":{},"subject":[],"published":{"date-parts":[[2010,9,26]]},"assertion":[{"value":"2010-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}