{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:12:01Z","timestamp":1774987921190,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159829","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"192-200","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["OCaml + XDuce"],"prefix":"10.1145","author":[{"given":"Alain","family":"Frisch","sequence":"first","affiliation":[{"name":"INRIA Rocquencourt"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040310"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45089-0_19"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming Languages Technologies for XML (PLAN-X)","author":"Hosoya Haruo","year":"2004","unstructured":"{Hos04} Haruo Hosoya . Regular expression filters for XML . In Programming Languages Technologies for XML (PLAN-X) , 2004 . {Hos04} Haruo Hosoya. Regular expression filters for XML. In Programming Languages Technologies for XML (PLAN-X), 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of Third International Workshop on the Web and Data bases (WebDB2000)","author":"Hosoya Haruo","year":"2000","unstructured":"{HP00} Haruo Hosoya and Benjamin C. Pierce . XDuce: A typed XML processing language . In Proceedings of Third International Workshop on the Web and Data bases (WebDB2000) , 2000 . {HP00} Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. In Proceedings of Third International Workshop on the Web and Data bases (WebDB2000), 2000."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004410"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351242"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271173"},{"key":"e_1_3_2_1_14_1","volume-title":"The Objective Caml system release 3. 08","author":"Xavier Leroy L","year":"2001","unstructured":"{ L + 01} Xavier Leroy The Objective Caml system release 3. 08 ; Documentation and user's manual, 2001 . {L + 01} Xavier Leroy et al. The Objective Caml system release 3. 08; Documentation and user's manual, 2001."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1%3C35::AID-TAPO4%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_17_1","volume-title":"The 2005 ACM SIGPLAN Workshop on ML","author":"Sulzmann Martin","year":"2005","unstructured":"{SL05} Martin Sulzmann and Kenny Zhuo Ming Lu . A type-safe embedding of XDuce into ML . In The 2005 ACM SIGPLAN Workshop on ML , 2005 . {SL05} Martin Sulzmann and Kenny Zhuo Ming Lu. A type-safe embedding of XDuce into ML. In The 2005 ACM SIGPLAN Workshop on ML, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111047"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:04:42Z","timestamp":1693843482000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159829"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":15,"alternative-id":["10.1145\/1159803.1159829","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159829","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159829","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}