{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:52Z","timestamp":1772163952286,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T00:00:00Z","timestamp":1105488000000},"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":[[2005,1,12]]},"DOI":"10.1145\/1040305.1040310","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"50-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Parametric polymorphism for XML"],"prefix":"10.1145","author":[{"given":"Haruo","family":"Hosoya","sequence":"first","affiliation":[{"name":"The University of Tokyo"}]},{"given":"Alain","family":"Frisch","sequence":"additional","affiliation":[{"name":"INRIA"}]},{"given":"Giuseppe","family":"Castagna","sequence":"additional","affiliation":[{"name":"\u00c9cole Normale Sup\u00e9rieurede, Paris"}]}],"member":"320","published-online":{"date-parts":[[2005,1,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1139"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Third Int 'l Symp. on Prog. Lang. Implementation and Logic Programming","author":"Appel A. W.","year":"1991","unstructured":"A. W. Appel and D. B. MacQueen . Standard ML of New Jersey . In Third Int 'l Symp. on Prog. Lang. Implementation and Logic Programming , pages 1 -- 13 . Springer-Verlag , Aug. 1991 . A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In Third Int 'l Symp. on Prog. Lang. Implementation and Logic Programming, pages 1--13. Springer-Verlag, Aug. 1991."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1013"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Clark and M. Murata. RELAX NG. http:\/\/www.relaxng.org 2001.  J. Clark and M. Murata. RELAX NG. http:\/\/www.relaxng.org 2001."},{"key":"e_1_3_2_1_8_1","unstructured":"H. Comon M. Dauchet R. Gilleron F. Jacquemard D. Lugiez S. Tison and M. Tommasi. Tree automata techniques and applications. Draft book; available electronically on http:\/\/www.grappa.univ-lille3.fr\/tata 1999.  H. Comon M. Dauchet R. Gilleron F. Jacquemard D. Lugiez S. Tison and M. Tommasi. Tree automata techniques and applications. Draft book; available electronically on http:\/\/www.grappa.univ-lille3.fr\/tata 1999."},{"key":"e_1_3_2_1_9_1","volume-title":"The Annotated C++ Reference Manual","author":"Ellis M. A.","year":"1990","unstructured":"M. A. Ellis and B. Stroustrup . The Annotated C++ Reference Manual . Addison-Wesley , 1990 . M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990."},{"key":"e_1_3_2_1_10_1","unstructured":"D. Fallside and Y. Lafon. XML protocol working group. http:\/\/www.w3.org\/2000\/xp\/Group\/ 2004.  D. Fallside and Y. Lafon. XML protocol working group. http:\/\/www.w3.org\/2000\/xp\/Group\/ 2004."},{"key":"e_1_3_2_1_11_1","unstructured":"P. Fankhauser M. Fern\u00e1ndez A. Malhotra M. Rys J. Sim\u00e9on and P. Wadler. XQuery 1.0 Formal Semantics. http:\/\/www.w3.org\/TR\/query-semantics\/ 2001.  P. Fankhauser M. Fern\u00e1ndez A. Malhotra M. Rys J. Sim\u00e9on and P. Wadler. XQuery 1.0 Formal Semantics. http:\/\/www.w3.org\/TR\/query-semantics\/ 2001."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664588"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2747"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"H. Hosoya A. Frisch and G. Castagna. Parametric polymorphism or XML. http:\/\/arbre.is.s.u-tokyo.ac.jp\/~hahosoya\/papers\/polyx.ps 2004. Full version.  H. Hosoya A. Frisch and G. Castagna. Parametric polymorphism or XML. http:\/\/arbre.is.s.u-tokyo.ac.jp\/~hahosoya\/papers\/polyx.ps 2004. Full version.","DOI":"10.1145\/1040305.1040310"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760230.1760251"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004410"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351242"},{"key":"e_1_3_2_1_20_1","volume-title":"The Objective Caml system. Software and documentation available on the Web,http:\/\/pauillac.inria.fr\/ocaml\/","author":"Leroy X.","year":"1996","unstructured":"X. Leroy , D. Doligez , J. Garrigue , J. Vouillon , and D. R\u00e9my . The Objective Caml system. Software and documentation available on the Web,http:\/\/pauillac.inria.fr\/ocaml\/ , 1996 . X. Leroy, D. Doligez, J. Garrigue, J. Vouillon, and D. R\u00e9my. The Objective Caml system. Software and documentation available on the Web,http:\/\/pauillac.inria.fr\/ocaml\/, 1996."},{"key":"e_1_3_2_1_21_1","volume-title":"Manuscript","author":"Meijer E.","year":"1999","unstructured":"E. Meijer and M. Shields . XM\u03bb: A functional programming language or constructing and manipulating XML documents . Manuscript , 1999 . E. Meijer and M. Shields. XM\u03bb: A functional programming language or constructing and manipulating XML documents. Manuscript, 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335171"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375569"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc.UK Joint Framework for Information Technology (JFIT) Technical Conference","author":"Peyton Jones S. L.","year":"1993","unstructured":"S. L. Peyton Jones , C. V. Hall , K. Hammond , W. Partain , and P. Wadler . The Glasgow Haskell compiler: a technical overview . In Proc.UK Joint Framework for Information Technology (JFIT) Technical Conference , July 1993 . S. L. Peyton Jones, C. V. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell compiler: a technical overview. In Proc.UK Joint Framework for Information Technology (JFIT) Technical Conference, July 1993."},{"key":"e_1_3_2_1_25_1","first-page":"513","article-title":"and parametric polymorphism.","volume":"83","author":"Reynolds J. C.","year":"1983","unstructured":"J. C. Reynolds . Types, abstraction , and parametric polymorphism. Information Processing , 83 : 513 -- 523 , 1983 . J. C. Reynolds. Types, abstraction, and parametric polymorphism.Information Processing, 83:513--523, 1983.","journal-title":"Information Processing"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360230"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316077"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760230.1760252"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/317765.317794"}],"event":{"name":"POPL05: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005","location":"Long Beach California USA","acronym":"POPL05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040310","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040305.1040310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:25:00Z","timestamp":1750249500000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,12]]},"references-count":28,"alternative-id":["10.1145\/1040305.1040310","10.1145\/1040305"],"URL":"https:\/\/doi.org\/10.1145\/1040305.1040310","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047659.1040310","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,1,12]]},"assertion":[{"value":"2005-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}