{"id":"https://openalex.org/W4386332911","doi":"https://doi.org/10.1145/3609027.3609405","title":"Semantic Encapsulation using Linking Types","display_name":"Semantic Encapsulation using Linking Types","publication_year":2023,"publication_date":"2023-08-30","ids":{"openalex":"https://openalex.org/W4386332911","doi":"https://doi.org/10.1145/3609027.3609405"},"language":"en","primary_location":{"id":"doi:10.1145/3609027.3609405","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609027.3609405","pdf_url":null,"source":null,"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 8th ACM SIGPLAN International Workshop on Type-Driven Development","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3609027.3609405","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029852947","display_name":"Daniel W. Patterson","orcid":"https://orcid.org/0000-0002-6825-8361"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel Patterson","raw_affiliation_strings":["Northeastern University, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007268028","display_name":"Andrew Wagner","orcid":"https://orcid.org/0000-0002-9434-0780"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Wagner","raw_affiliation_strings":["Northeastern University, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084250644","display_name":"Amal Ahmed","orcid":"https://orcid.org/0000-0001-7424-572X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":["Northeastern University, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029852947"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":1.3704,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84904976,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"14","last_page":"28"},"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.9998000264167786,"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.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"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/T11424","display_name":"Security and Verification in Computing","score":0.9944000244140625,"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/computer-science","display_name":"Computer science","score":0.7985380291938782},{"id":"https://openalex.org/keywords/encapsulation","display_name":"Encapsulation (networking)","score":0.7069178819656372},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6887457370758057},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6769397258758545},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.661536693572998},{"id":"https://openalex.org/keywords/mainstream","display_name":"Mainstream","score":0.6050529479980469},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5537136197090149},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5170736908912659},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.265657901763916},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.24512457847595215},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16663512587547302}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7985380291938782},{"id":"https://openalex.org/C81147070","wikidata":"https://www.wikidata.org/wiki/Q1172449","display_name":"Encapsulation (networking)","level":2,"score":0.7069178819656372},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6887457370758057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6769397258758545},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.661536693572998},{"id":"https://openalex.org/C2777617010","wikidata":"https://www.wikidata.org/wiki/Q18957","display_name":"Mainstream","level":2,"score":0.6050529479980469},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5537136197090149},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5170736908912659},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.265657901763916},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.24512457847595215},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16663512587547302},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3609027.3609405","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609027.3609405","pdf_url":null,"source":null,"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 8th ACM SIGPLAN International Workshop on Type-Driven Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3609027.3609405","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609027.3609405","pdf_url":null,"source":null,"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 8th ACM SIGPLAN International Workshop on Type-Driven Development","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3456929702","display_name":"SHF: Small: Principled Compiling and Linking for Multi-Language Software","funder_award_id":"1816837","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6014218453","display_name":"CAREER: Verified Compilers for a Multi-Language World","funder_award_id":"1453796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G893490654","display_name":null,"funder_award_id":"CCF-1453796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W188282463","https://openalex.org/W776882319","https://openalex.org/W1538992328","https://openalex.org/W1991984504","https://openalex.org/W1993030244","https://openalex.org/W2007759294","https://openalex.org/W2038237961","https://openalex.org/W2093664495","https://openalex.org/W2094269821","https://openalex.org/W2101443478","https://openalex.org/W2102339469","https://openalex.org/W2103240295","https://openalex.org/W2103380617","https://openalex.org/W2104795876","https://openalex.org/W2109375905","https://openalex.org/W2114058479","https://openalex.org/W2152936245","https://openalex.org/W2162053995","https://openalex.org/W2163551975","https://openalex.org/W2163738369","https://openalex.org/W2163806865","https://openalex.org/W2166822586","https://openalex.org/W2293168108","https://openalex.org/W2293786458","https://openalex.org/W2514838807","https://openalex.org/W2561708922","https://openalex.org/W2604664164","https://openalex.org/W2610968094","https://openalex.org/W2620740566","https://openalex.org/W2625268615","https://openalex.org/W2761120147","https://openalex.org/W2886134830","https://openalex.org/W2900045822","https://openalex.org/W2900188961","https://openalex.org/W2903318108","https://openalex.org/W2914920194","https://openalex.org/W2963153477","https://openalex.org/W2965353800","https://openalex.org/W2994621632","https://openalex.org/W2995454438","https://openalex.org/W3109383821","https://openalex.org/W4225132403","https://openalex.org/W4240775947","https://openalex.org/W4245120671","https://openalex.org/W4249824250","https://openalex.org/W4256135566","https://openalex.org/W4281974386","https://openalex.org/W4386332911"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W1583826057","https://openalex.org/W2377237701","https://openalex.org/W2360099860","https://openalex.org/W4323893170","https://openalex.org/W2352463596","https://openalex.org/W2277514059","https://openalex.org/W2380850119","https://openalex.org/W4282964075","https://openalex.org/W4377091993"],"abstract_inverted_index":{"Interoperability":[0],"pervades":[1],"nearly":[2],"all":[3],"mainstream":[4],"language":[5,23,47,69],"implementations,":[6],"as":[7],"most":[8],"systems":[9],"leverage":[10],"subcomponents":[11],"written":[12],"in":[13],"different":[14],"languages.":[15],"And":[16],"yet,":[17],"such":[18,44],"linking":[19],"can":[20,63],"expose":[21],"a":[22,33,46],"to":[24,36,50,53,72],"foreign":[25],"behaviors":[26],"that":[27],"are":[28],"internally":[29],"inexpressible,":[30],"which":[31],"poses":[32],"serious":[34],"threat":[35],"safety":[37],"invariants":[38],"and":[39],"programmer":[40],"reasoning.":[41],"To":[42],"preserve":[43],"invariants,":[45],"may":[48],"try":[49],"add":[51],"features":[52],"limit":[54],"the":[55,65,68],"reliance":[56],"on":[57],"external":[58],"libraries,":[59],"but":[60],"endless":[61],"extensions":[62],"obscure":[64],"core":[66],"abstractions":[67],"was":[70],"designed":[71],"provide.":[73]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}