{"id":"https://openalex.org/W166643947","doi":null,"title":"Polymorphisme param\u00e9trique pour le traitement de documents XML","display_name":"Polymorphisme param\u00e9trique pour le traitement de documents XML","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W166643947","mag":"166643947"},"language":"fr","primary_location":{"id":"pmh:hdl:10068/894870","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/894870","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/tel-00858744v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089943764","display_name":"Zhiwu Xu","orcid":"https://orcid.org/0000-0001-6727-440X","observed_orcids":["https://orcid.org/0000-0001-6727-440X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhiwu Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5089943764"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.006500000134110451,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parametric-polymorphism","display_name":"parametric polymorphism","score":0.9850000143051147},{"id":"https://openalex.org/keywords/xml-processing","display_name":"XML processing","score":0.8999999761581421},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.6140000224113464},{"id":"https://openalex.org/keywords/convexity","display_name":"convexity","score":0.8519999980926514},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.5820000171661377},{"id":"https://openalex.org/keywords/xquery","display_name":"XQuery","score":0.6370000243186951},{"id":"https://openalex.org/keywords/relax-ng","display_name":"RELAX NG","score":0.9700000286102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6677682995796204},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.6318485736846924},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.6128435730934143},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5975281000137329},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40597233176231384},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09453430771827698}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:hdl:10068/894870","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/894870","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"pmh:oai:HAL:tel-00858744v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/tel-00858744v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Programming Languages [cs.PL]. Universit\u00e9 Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:166643947","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/2013PA077030","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:HAL:tel-00858744v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/tel-00858744v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Programming Languages [cs.PL]. Universit\u00e9 Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2741912530","https://openalex.org/W2039018550","https://openalex.org/W7096967499","https://openalex.org/W7095164523","https://openalex.org/W2616721635","https://openalex.org/W2187917979","https://openalex.org/W1993237902","https://openalex.org/W1484636433","https://openalex.org/W7100725750","https://openalex.org/W7100889893"],"abstract_inverted_index":{"XML":[0,75,109],"(eXtensible":[1],"Markup":[2],"Language)":[3],"is":[4,72,175,202,225],"a":[5,29,66,118,121,127,130,141,147,192,209,249,271],"current":[6],"standard":[7],"format":[8],"for":[9,146],"exchanging":[10],"semi-structured":[11],"data,":[12],"which":[13,172,212],"has":[14,79],"been":[15,81],"applied":[16],"to":[17,83,104,204,226,234,254],"web":[18],"services,":[19],"database,":[20],"research":[21],"on":[22,171],"formal":[23],"methods,":[24],"and":[25,51,77,84,95,126,139,153,156,163,178,195,233],"so":[26,52],"on.":[27,53],"For":[28],"better":[30],"processing":[31,110],"of":[32,56,90,115,120,129,169,208,215,221,231,241,258,266,273],"XML,":[33],"recently":[34],"there":[35,180],"emerge":[36],"many":[37],"statically":[38],"typed":[39],"functional":[40],"languages,":[41],"such":[42],"as":[43,261,263],"XDuce,":[44],"CDuce,":[45],"XJ,":[46],"XTatic,":[47],"XACT,":[48],"XHaskell,":[49],"OCamlDuce":[50],"But":[54],"most":[55],"these":[57],"languages":[58],"lack":[59],"parametric":[60,70,106],"polymorphism":[61,71,107],"or":[62],"present":[63],"it":[64,78],"in":[65,86,99],"limited":[67],"form.":[68],"While":[69],"needed":[73],"by":[74],"processing,":[76],"repeatedly":[80],"requested":[82],"discussed":[85],"various":[87],"working":[88],"groups":[89],"standards":[91],"(e.g.,":[92],"RELAX":[93],"NG":[94],"XQuery).":[96],"We":[97,165,189],"study":[98,140],"this":[100],"thesis":[101],"the":[102,134,167,205,216,222,239,242,256,264,267],"techniques":[103],"extend":[105],"into":[108,270],"languages.":[111],"Our":[112],"solution":[113,174],"consists":[114],"two":[116],"parts:":[117],"definition":[119,128,207],"polymorphic":[122,131,142,210,223,268],"semantic":[123,143],"subtyping":[124,144,197,217],"relation":[125,145],"calculus.":[132],"In":[133],"first":[135],"part,":[136],"we":[137],"define":[138],"type":[148,158,259],"system":[149],"with":[150,229],"recursive,":[151],"product":[152],"arrow":[154],"types":[155],"set-theoretic":[157],"connectives":[159],"(i.e.,":[160],"union,":[161],"intersection":[162],"negation).":[164],"introduce":[166],"notion":[168],"\"convexity\"":[170],"our":[173],"built":[176],"up":[177],"prove":[179],"exists":[181],"at":[182,238],"least":[183],"one":[184],"model":[185],"that":[186],"satisfies":[187],"convexity.":[188],"also":[190,247],"propose":[191],"sound,":[193],"complete":[194],"decidable":[196],"algorithm.":[198],"The":[199,219,244],"second":[200,245],"part":[201,246],"devoted":[203],"theoretical":[206],"calculus,":[211],"takes":[213],"advance":[214],"relation.":[218],"novelty":[220],"calculus":[224,269],"decorate":[227],"lambda-abstractions":[228],"sets":[230],"type-substitutions":[232,237],"lazily":[235],"propagate":[236],"moment":[240],"reduction.":[243],"explores":[248],"semi-decidable":[250],"local":[251],"inference":[252],"algorithm":[253],"infer":[255],"set":[257],"substitutions":[260],"well":[262],"compilation":[265],"variety":[272],"CDuce.":[274]},"counts_by_year":[{"year":2014,"cited_by_count":3}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}