{"id":"https://openalex.org/W4412989095","doi":"https://doi.org/10.1145/3747507","title":"Robust Dynamic Embedding for Gradual Typing","display_name":"Robust Dynamic Embedding for Gradual Typing","publication_year":2025,"publication_date":"2025-08-05","ids":{"openalex":"https://openalex.org/W4412989095","doi":"https://doi.org/10.1145/3747507"},"language":"en","primary_location":{"id":"doi:10.1145/3747507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747507","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3747507","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085870012","display_name":"Koen Jacobs","orcid":"https://orcid.org/0000-0002-1645-6876"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Koen Jacobs","raw_affiliation_strings":["Inria, Nantes, France"],"affiliations":[{"raw_affiliation_string":"Inria, Nantes, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073103554","display_name":"Mat\u00edas Toro","orcid":"https://orcid.org/0000-0002-5315-0198"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Mat\u00edas Toro","raw_affiliation_strings":["University of Chile, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"University of Chile, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033499088","display_name":"Nicolas Tabareau","orcid":"https://orcid.org/0000-0003-3366-2273"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Tabareau","raw_affiliation_strings":["Inria, Nantes, France"],"affiliations":[{"raw_affiliation_string":"Inria, Nantes, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074606459","display_name":"\u00c9ric Tanter","orcid":"https://orcid.org/0000-0002-7359-890X"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"\u00c9ric Tanter","raw_affiliation_strings":["University of Chile, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"University of Chile, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5085870012"],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09814988,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"ICFP","first_page":"66","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9976999759674072,"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/embedding","display_name":"Embedding","score":0.5569726824760437},{"id":"https://openalex.org/keywords/typing","display_name":"Typing","score":0.5465214252471924},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5171329379081726},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.4088692367076874},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29925137758255005},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.2933196723461151},{"id":"https://openalex.org/keywords/speech-recognition","display_name":"Speech recognition","score":0.1325688362121582}],"concepts":[{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5569726824760437},{"id":"https://openalex.org/C2781209916","wikidata":"https://www.wikidata.org/wiki/Q3215756","display_name":"Typing","level":2,"score":0.5465214252471924},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5171329379081726},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.4088692367076874},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29925137758255005},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.2933196723461151},{"id":"https://openalex.org/C28490314","wikidata":"https://www.wikidata.org/wiki/Q189436","display_name":"Speech recognition","level":1,"score":0.1325688362121582}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3747507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747507","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-05162302v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05162302","pdf_url":"https://inria.hal.science/hal-05162302v1/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2025, 9 (ICFP), pp.1-26. ⟨10.1145/3747507⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3747507","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747507","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6065607022","display_name":"GRADUAL DIFFERENTIAL PRIVACY: THEORY AND APPLICATIONS","funder_award_id":"11250054","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"},{"id":"https://openalex.org/G6805830920","display_name":null,"funder_award_id":"ICN17_002","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320331146","display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1557561422","https://openalex.org/W1991984504","https://openalex.org/W2051748913","https://openalex.org/W2097061283","https://openalex.org/W2123329569","https://openalex.org/W2150174204","https://openalex.org/W2284690928","https://openalex.org/W2296599395","https://openalex.org/W2561856298","https://openalex.org/W2566906701","https://openalex.org/W2742478755","https://openalex.org/W2753479937","https://openalex.org/W2886134830","https://openalex.org/W2898994781","https://openalex.org/W2904756193","https://openalex.org/W2962786128","https://openalex.org/W2980019266","https://openalex.org/W2995454438","https://openalex.org/W3032336757","https://openalex.org/W3093630031","https://openalex.org/W3117011873","https://openalex.org/W3119457124","https://openalex.org/W3191556277","https://openalex.org/W3205784599","https://openalex.org/W4225132403","https://openalex.org/W4225139538","https://openalex.org/W4226281315","https://openalex.org/W4248497488","https://openalex.org/W4293812983","https://openalex.org/W4315705023","https://openalex.org/W4396214225","https://openalex.org/W4399851464","https://openalex.org/W4400499766","https://openalex.org/W6603045241","https://openalex.org/W6869766931","https://openalex.org/W6931074454"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3176169626","https://openalex.org/W2081900870","https://openalex.org/W2390279801","https://openalex.org/W1606200072","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345"],"abstract_inverted_index":{"Gradual":[0],"typing":[1,17,46,288],"has":[2],"long":[3],"been":[4,67],"advocated":[5],"as":[6,26,40,42],"a":[7,20,53,132,195,200,215,253],"means":[8],"to":[9,35,127,131,174,209],"bridge":[10],"the":[11,27,71,84,88,94,99,106,113,121,147,153,178,182,189,233,258,263,271],"gap":[12],"between":[13],"static":[14,45,133,202,211],"and":[15,139,235,278],"dynamic":[16,85,108,115,191,196,222,248],"disciplines,":[18],"enabling":[19],"range":[21],"of":[22,30,87,101,124,155,273],"use":[23,61],"cases":[24],"such":[25],"gradual":[28,55,95,148,158,166,242,276],"migration":[29],"existing":[31,114,229,241],"dynamically":[32],"typed":[33,38],"code":[34,130],"more":[36,48],"statically":[37],"code,":[39],"well":[41],"making":[43],"advanced":[44],"disciplines":[47,289],"accessible.":[49],"To":[50],"assess":[51],"whether":[52],"given":[54,201],"language":[56],"can":[57],"effectively":[58],"support":[59],"these":[60],"cases,":[62],"several":[63,280],"formal":[64],"properties":[65],"have":[66],"proposed,":[68],"most":[69],"notably":[70],"refined":[72],"criteria":[73,274],"set":[74,272],"forth":[75],"by":[76,98,177,181,227,239],"Siek":[77],"et":[78],"al.":[79],"One":[80],"criterion":[81,117,269],"asserts":[82],"that":[83,112,135,161,170,210,220,246,290],"extreme":[86],"spectrum":[89],"should":[90,213],"be":[91,175,214],"expressible":[92],"in":[93,262,285],"language,":[96],"formalized":[97,261],"existence":[100],"an":[102],"adequate":[103],"embedding":[104,116,192,206,223,249],"from":[105,232],"corresponding":[107],"language.":[109,149,256],"We":[110,186,218,244],"observe":[111],"does":[118],"not":[119,180,225,237],"capture":[120],"desirable":[122],"property":[123,231],"being":[125],"able":[126],"ascribe":[128],"embedded":[129],"type":[134,212],"it":[136],"semantically":[137,198],"satisfies,":[138],"ensure":[140],"reliable":[141],"interactions":[142],"with":[143,164,252],"other":[144],"components":[145],"within":[146],"Specifically,":[150],"we":[151],"introduce":[152],"notion":[154],"robustness":[156],"for":[157,275,282,287],"terms,":[159],"meaning":[160],"when":[162],"interacting":[163],"any":[165,228],"context,":[167,179],"runtime":[168],"failures":[169],"may":[171],"occur":[172],"ought":[173],"caused":[176],"robust":[183,190,216,221,247],"term":[184],"itself.":[185],"then":[187,204],"formulate":[188],"criterion:":[193],"if":[194],"component":[197],"satisfies":[199],"type,":[203],"its":[205],"subsequently":[207],"ascribed":[208],"term.":[217],"demonstrate":[219],"is":[224,236,250],"implied":[226],"metatheoretical":[230],"literature,":[234],"upheld":[238],"various":[240],"languages.":[243],"show":[245],"achievable":[251],"gradualized":[254],"simply-typed":[255],"All":[257],"results":[259],"are":[260],"Rocq":[264],"proof":[265],"assistant.":[266],"This":[267],"novel":[268],"complements":[270],"languages":[277],"opens":[279],"venues":[281],"further":[283],"exploration,":[284],"particular":[286],"enforce":[291],"rich":[292],"semantic":[293],"properties.":[294]},"counts_by_year":[],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}