{"id":"https://openalex.org/W4366327549","doi":"https://doi.org/10.1145/3622836","title":"Structural Subtyping as Parametric Polymorphism","display_name":"Structural Subtyping as Parametric Polymorphism","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4366327549","doi":"https://doi.org/10.1145/3622836"},"language":"en","primary_location":{"id":"doi:10.1145/3622836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622836","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622836","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622836","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103098209","display_name":"Wenhao Tang","orcid":"https://orcid.org/0009-0000-6589-3821"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wenhao Tang","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK"],"raw_orcid":"https://orcid.org/0009-0000-6589-3821","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044923804","display_name":"Daniel Hillerstr\u00f6m","orcid":"https://orcid.org/0000-0003-4730-9315"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Hillerstr\u00f6m","raw_affiliation_strings":["Huawei Zurich Research Center, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-4730-9315","affiliations":[{"raw_affiliation_string":"Huawei Zurich Research Center, Zurich, Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047695892","display_name":"James McKinna","orcid":"https://orcid.org/0000-0001-6745-2560"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"James McKinna","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, UK"],"raw_orcid":"https://orcid.org/0000-0001-6745-2560","affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016319844","display_name":"Michel Steuwer","orcid":"https://orcid.org/0000-0001-5048-0741"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michel Steuwer","raw_affiliation_strings":["Techinsche Universit\u00e4t Berlin, Berlin, Germany / University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-5048-0741","affiliations":[{"raw_affiliation_string":"Techinsche Universit\u00e4t Berlin, Berlin, Germany / University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050784078","display_name":"Ornela Dardha","orcid":"https://orcid.org/0000-0001-9927-7875"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ornela Dardha","raw_affiliation_strings":["University of Glasgow, Glasgow, UK"],"raw_orcid":"https://orcid.org/0000-0001-9927-7875","affiliations":[{"raw_affiliation_string":"University of Glasgow, Glasgow, UK","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009535425","display_name":"Rongxiao Fu","orcid":"https://orcid.org/0009-0005-6966-4037"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rongxiao Fu","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK"],"raw_orcid":"https://orcid.org/0009-0005-6966-4037","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061903791","display_name":"Sam Lindley","orcid":"https://orcid.org/0000-0002-1360-4714"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Lindley","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK"],"raw_orcid":"https://orcid.org/0000-0002-1360-4714","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4759,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67136202,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1093","last_page":"1121"},"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9854999780654907,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/subtyping","display_name":"Subtyping","score":0.9724190831184387},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6049222946166992},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5397478342056274},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4049217104911804},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3261110782623291}],"concepts":[{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.9724190831184387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6049222946166992},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5397478342056274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4049217104911804},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3261110782623291}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3622836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622836","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622836","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:pure.ed.ac.uk:openaire/ce62fd8a-62aa-4963-bf1a-451e9bdf9670","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/ce62fd8a-62aa-4963-bf1a-451e9bdf9670","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tang, W, Hillerstr\u00f6m, D, McKinna, J, Steuwer, M, Dardha, O, Fu, R & Lindley, S 2023, 'Structural Subtyping as Parametric Polymorphism', Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2, 260, pp. 1093\u20131121. https://doi.org/10.1145/3622836","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:2304.08267","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2304.08267","pdf_url":"https://arxiv.org/pdf/2304.08267","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":null,"raw_type":"text"},{"id":"pmh:oai:eprints.gla.ac.uk:312961","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/31639.html>","pdf_url":"https://eprints.gla.ac.uk/312961/1/312961.pdf","source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Articles"},{"id":"pmh:oai:pure.ed.ac.uk:publications/ce62fd8a-62aa-4963-bf1a-451e9bdf9670","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3622836","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1145/3622836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622836","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622836","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/G6789134701","display_name":null,"funder_award_id":"MR/T043830/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366327549.pdf","grobid_xml":"https://content.openalex.org/works/W4366327549.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W806507513","https://openalex.org/W1507723317","https://openalex.org/W1549804464","https://openalex.org/W1557561422","https://openalex.org/W1996404651","https://openalex.org/W2020589020","https://openalex.org/W2027657506","https://openalex.org/W2093036100","https://openalex.org/W2102222848","https://openalex.org/W2102699068","https://openalex.org/W2114958714","https://openalex.org/W2121038016","https://openalex.org/W2144778998","https://openalex.org/W2149587963","https://openalex.org/W2163976959","https://openalex.org/W2165657834","https://openalex.org/W2510703714","https://openalex.org/W2517607333","https://openalex.org/W2561708922","https://openalex.org/W2686043342","https://openalex.org/W2951104382","https://openalex.org/W3015074823","https://openalex.org/W3027723509","https://openalex.org/W3102026406","https://openalex.org/W3102142559","https://openalex.org/W3107339655","https://openalex.org/W4237607926","https://openalex.org/W4239999910","https://openalex.org/W4251450266","https://openalex.org/W4307731888","https://openalex.org/W4315631973"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2396009657","https://openalex.org/W2799110842","https://openalex.org/W3032826521","https://openalex.org/W2391332606","https://openalex.org/W1462775415","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W2016345697"],"abstract_inverted_index":{"Structural":[0],"subtyping":[1,73,100,190,204],"and":[2,8,45,74,94,103,117,124,126,146,164],"parametric":[3,75,87],"polymorphism":[4],"provide":[5,20],"similar":[6],"flexibility":[7],"reusability":[9],"to":[10,19,27,85,181],"programmers.":[11],"For":[12,138],"example,":[13],"both":[14,162],"features":[15],"enable":[16],"the":[17,36,46,50,67,83,90,172,175],"programmer":[18],"a":[21,28,32,143,153],"wider":[22],"record":[23,104],"as":[24,57],"an":[25],"argument":[26],"function":[29],"that":[30,188,199],"expects":[31],"narrower":[33],"one.":[34],"However,":[35],"means":[37],"by":[38,132],"which":[39,86],"they":[40],"do":[41],"so":[42],"differs":[43],"substantially,":[44],"precise":[47],"details":[48],"of":[49,71,92,121,155,203,211],"relationship":[51],"between":[52,136],"them":[53],"exists,":[54],"at":[55],"best,":[56],"folklore":[58],"in":[59,89,171],"literature.":[60],"In":[61],"this":[62],"paper,":[63],"we":[64,141,167,186,197],"systematically":[65],"study":[66,109],"relative":[68],"expressive":[69],"power":[70],"structural":[72,99,122],"polymorphism.":[76,128,212],"We":[77,106,129,150],"focus":[78],"our":[79,108],"investigation":[80],"on":[81,110,161],"establishing":[82],"extent":[84],"polymorphism,":[88,96,195],"form":[91],"row":[93,125],"presence":[95,127],"can":[97,205],"encode":[98],"for":[101],"variant":[102],"types.":[105],"base":[107],"various":[111],"Church-style":[112],"\u03bb-calculi":[113],"extended":[114],"with":[115],"records":[116],"variants,":[118],"different":[119],"forms":[120,202,210],"subtyping,":[123],"characterise":[130],"expressiveness":[131,173],"exhibiting":[133],"compositional":[134],"translations":[135,180],"calculi.":[137],"each":[139],"translation":[140],"prove":[142,152,187],"type":[144],"preservation":[145],"operational":[147],"correspondence":[148],"result.":[149],"also":[151],"number":[154],"non-existence":[156],"results.":[157],"By":[158],"imposing":[159],"restrictions":[160,176],"source":[163],"target":[165],"types,":[166],"reveal":[168],"further":[169],"subtleties":[170],"landscape,":[174],"enabling":[177],"otherwise":[178],"impossible":[179],"be":[182,192,206],"defined.":[183],"More":[184],"specifically,":[185],"full":[189],"cannot":[191],"encoded":[193,207],"via":[194,208],"but":[196],"show":[198],"several":[200],"restricted":[201],"particular":[209]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}