乐胖代购免代理版

{"id":"https://openalex.org/W2039018550","doi":"https://doi.org/10.1145/1596527.1596529","title":"Parametric polymorphism for XML","display_name":"Parametric polymorphism for XML","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W2039018550","doi":"https://doi.org/10.1145/1596527.1596529","mag":"2039018550"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1596527.1596529","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1596527.1596529","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1596527.1596529","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025142030","display_name":"Haruo Hosoya","orcid":"https://orcid.org/0000-0002-5660-0801"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"funder","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Haruo Hosoya","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057581786","display_name":"Alain Frisch","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Frisch","raw_affiliation_strings":["LexiFi - France"],"affiliations":[{"raw_affiliation_string":"LexiFi - France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084702945","display_name":"Giuseppe Castagna","orcid":"https://orcid.org/0000-0003-0951-7535"},"institutions":[{"id":"https://openalex.org/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"funder","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giuseppe Castagna","raw_affiliation_strings":["PPS (CNRS) - Universit\u00e9 Denis Diderot, Paris, France"],"affiliations":[{"raw_affiliation_string":"PPS (CNRS) - Universit\u00e9 Denis Diderot, Paris, France","institution_ids":["https://openalex.org/I169173203","https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.561,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":18,"citation_normalized_percentile":{"value":0.894669,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"32","issue":"1","first_page":"1","last_page":"56"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9958,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9878,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type-inference","display_name":"Type Inference","score":0.6747614},{"id":"https://openalex.org/keywords/subtyping","display_name":"Subtyping","score":0.62709343},{"id":"https://openalex.org/keywords/relax-ng","display_name":"RELAX NG","score":0.5122525},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.50460446},{"id":"https://openalex.org/keywords/xml-schema","display_name":"XML Schema (W3C)","score":0.49078855},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.44371387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8254844},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.6747614},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.62709343},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.58983314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5885},{"id":"https://openalex.org/C44540991","wikidata":"https://www.wikidata.org/wiki/Q1314117","display_name":"RELAX NG","level":5,"score":0.5122525},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.50460446},{"id":"https://openalex.org/C40713593","wikidata":"https://www.wikidata.org/wiki/Q16342","display_name":"XML Schema (W3C)","level":5,"score":0.49078855},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.44371387},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41687477},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.39566654},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.28860885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2730022},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2200174},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.13210198},{"id":"https://openalex.org/C84314905","wikidata":"https://www.wikidata.org/wiki/Q212327","display_name":"Document type definition","level":4,"score":0.123182476},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1596527.1596529","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1596527.1596529","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-00152609","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-00435377","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-00435377","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-00152609","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1596527.1596529","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1596527.1596529","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme","award_id":"IST-2001-32617"}],"datasets":[],"versions":[],"referenced_works_count":50,"referenced_works":["https://openalex.org/W1547011845","https://openalex.org/W1558109178","https://openalex.org/W1581394432","https://openalex.org/W1584951182","https://openalex.org/W1593799327","https://openalex.org/W1664954303","https://openalex.org/W1769844539","https://openalex.org/W1829244603","https://openalex.org/W1966814918","https://openalex.org/W1976781257","https://openalex.org/W197687268","https://openalex.org/W1977793919","https://openalex.org/W1979629711","https://openalex.org/W1986291093","https://openalex.org/W1988745844","https://openalex.org/W1988897846","https://openalex.org/W1995362929","https://openalex.org/W1999968383","https://openalex.org/W2011194979","https://openalex.org/W2052932288","https://openalex.org/W2069037543","https://openalex.org/W2074237026","https://openalex.org/W2075994573","https://openalex.org/W2078395305","https://openalex.org/W2080480757","https://openalex.org/W2087271899","https://openalex.org/W2087357075","https://openalex.org/W2094260906","https://openalex.org/W2107489791","https://openalex.org/W2130747108","https://openalex.org/W2131334283","https://openalex.org/W2137417304","https://openalex.org/W2153166264","https://openalex.org/W2153374737","https://openalex.org/W2157821258","https://openalex.org/W2158535500","https://openalex.org/W2162687540","https://openalex.org/W2165657834","https://openalex.org/W2167269881","https://openalex.org/W2258468525","https://openalex.org/W2295020882","https://openalex.org/W2296326505","https://openalex.org/W2987803397","https://openalex.org/W326743114","https://openalex.org/W4206236778","https://openalex.org/W4235077482","https://openalex.org/W4249700913","https://openalex.org/W4285719527","https://openalex.org/W68193533","https://openalex.org/W73938872"],"related_works":["https://openalex.org/W2596118607","https://openalex.org/W2531403400","https://openalex.org/W2376675693","https://openalex.org/W2352672621","https://openalex.org/W2348209521","https://openalex.org/W2084962311","https://openalex.org/W1995347461","https://openalex.org/W1970085714","https://openalex.org/W1529503031","https://openalex.org/W1500300053"],"abstract_inverted_index":{"Despite":[0],"the":[1,56,61,105,119],"extensiveness":[2],"of":[3,148,152,164,173,192,196,204,213],"recent":[4],"investigations":[5],"on":[6],"static":[7],"typing":[8,19],"for":[9,30,49,77,88,216,224],"XML,":[10],"parametric":[11],"polymorphism":[12,48],"has":[13],"rarely":[14],"been":[15],"treated.":[16],"This":[17],"well-established":[18],"discipline":[20],"can":[21],"also":[22],"be":[23,71],"useful":[24],"in":[25,28,46,52,60,161],"XML":[26,50,64],"processing":[27],"particular":[29],"programs":[31],"involving":[32],"\u201cparametric":[33],"schemas,\u201d":[34],"that":[35,100,116,185],"is,":[36],"schemas":[37,41],"parameterized":[38],"over":[39,74],"other":[40],"(e.g.,":[42],"SOAP).":[43],"The":[44,126],"difficulty":[45],"treating":[47],"lies":[51],"how":[53],"to":[54,84,131,221],"extend":[55],"\u201csemantic\u201d":[57,72],"approach":[58,82,121],"used":[59],"mainstream":[62],"(monomorphic)":[63],"type":[65,78,144,167,174,194],"systems.":[66],"A":[67],"naive":[68],"extension":[69],"would":[70],"quantification":[73],"all":[75],"substitutions":[76],"variables.":[79],"However,":[80],"this":[81,109,159],"reduces":[83],"an":[85],"NEXPTIME-complete":[86],"problem":[87],"which":[89,153],"no":[90],"practical":[91,214],"algorithm":[92],"is":[93,123,130],"known":[94],"and":[95,135],"induces":[96],"a":[97,113,133,142,146,178,182,188,202,211,225],"subtyping":[98],"relation":[99],"may":[101],"not":[102],"always":[103],"match":[104],"programmer's":[106],"intuition.":[107],"In":[108],"article,":[110],"we":[111,140,180,209],"propose":[112],"different":[114],"method":[115],"smoothly":[117],"extends":[118],"semantic":[120],"yet":[122],"algorithmically":[124],"easier.":[125],"key":[127],"idea":[128],"here":[129],"devise":[132],"novel":[134],"simple":[136],"marking":[137],"technique,":[138],"where":[139],"interpret":[141],"polymorphic":[143,166,193],"as":[145,170],"set":[147,212],"values":[149],"with":[150],"annotations":[151],"subparts":[154],"are":[155,199],"parameterized.":[156],"We":[157],"exploit":[158],"interpretation":[160],"every":[162],"ingredient":[163],"our":[165],"system":[168,184],"such":[169],"subtyping,":[171],"inference":[172],"arguments,":[175],"etc.":[176],"As":[177],"result,":[179],"achieve":[181],"sensible":[183],"directly":[186],"represents":[187],"usual":[189],"expected":[190],"behavior":[191],"systems\u2014\u201cvalues":[195],"abstract":[197],"types":[198],"never":[200],"reconstructed\u201d\u2014in":[201],"reminiscence":[203],"Reynold's":[205],"parametricity":[206],"theory.":[207],"Also,":[208],"obtain":[210],"algorithms":[215],"typechecking":[217],"by":[218],"local":[219],"modifications":[220],"existing":[222],"ones":[223],"monomorphic":[226],"system.":[227]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2039018550","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-22T18:16:24.449622","created_date":"2016-06-24"}