{"id":"https://openalex.org/W2538286173","doi":"https://doi.org/10.1145/2993236.2993245","title":"Programmable semantic fragments: the design and implementation of typy","display_name":"Programmable semantic fragments: the design and implementation of typy","publication_year":2016,"publication_date":"2016-10-20","ids":{"openalex":"https://openalex.org/W2538286173","doi":"https://doi.org/10.1145/2993236.2993245","mag":"2538286173"},"language":"en","primary_location":{"id":"doi:10.1145/2993236.2993245","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2993236.2993245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001010367","display_name":"Cyrus Omar","orcid":"https://orcid.org/0000-0003-4502-7971"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cyrus Omar","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091372985","display_name":"Jonathan Aldrich","orcid":"https://orcid.org/0000-0003-0631-5591"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Aldrich","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001010367"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.8569,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84308113,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"92"},"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.9983999729156494,"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.9983999729156494,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9894999861717224,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9879000186920166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.9140756130218506},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8432050347328186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8305950164794922},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.504257321357727},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4967418313026428},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30609989166259766}],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.9140756130218506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8432050347328186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8305950164794922},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.504257321357727},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4967418313026428},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30609989166259766}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2993236.2993245","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2993236.2993245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1541290675","display_name":null,"funder_award_id":"Lablet contract #H98230-14-C-0140","funder_id":"https://openalex.org/F4320311089","funder_display_name":"National Security Agency"},{"id":"https://openalex.org/G1915296078","display_name":null,"funder_award_id":"#FA8750-16-2-0042","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320311089","display_name":"National Security Agency","ror":"https://ror.org/0047bvr32"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W80700283","https://openalex.org/W300550493","https://openalex.org/W1134781054","https://openalex.org/W1487410109","https://openalex.org/W1518650316","https://openalex.org/W1527793496","https://openalex.org/W1547017255","https://openalex.org/W1556536463","https://openalex.org/W1559059528","https://openalex.org/W1568983194","https://openalex.org/W1575675278","https://openalex.org/W1760139041","https://openalex.org/W1812582761","https://openalex.org/W1973186567","https://openalex.org/W1978671996","https://openalex.org/W1979370131","https://openalex.org/W1982534263","https://openalex.org/W1985462363","https://openalex.org/W1987427622","https://openalex.org/W1990010432","https://openalex.org/W2014334120","https://openalex.org/W2017696589","https://openalex.org/W2018009728","https://openalex.org/W2019629593","https://openalex.org/W2020899082","https://openalex.org/W2023237006","https://openalex.org/W2029786195","https://openalex.org/W2032220227","https://openalex.org/W2036676170","https://openalex.org/W2040581748","https://openalex.org/W2045723688","https://openalex.org/W2058193465","https://openalex.org/W2064093999","https://openalex.org/W2070821087","https://openalex.org/W2076653850","https://openalex.org/W2091345373","https://openalex.org/W2095631859","https://openalex.org/W2095932826","https://openalex.org/W2101085206","https://openalex.org/W2102473657","https://openalex.org/W2104323416","https://openalex.org/W2110114082","https://openalex.org/W2112857708","https://openalex.org/W2118252041","https://openalex.org/W2118829055","https://openalex.org/W2132055297","https://openalex.org/W2132837945","https://openalex.org/W2132904928","https://openalex.org/W2146292423","https://openalex.org/W2147578933","https://openalex.org/W2148535470","https://openalex.org/W2151073063","https://openalex.org/W2152419799","https://openalex.org/W2153006094","https://openalex.org/W2153559293","https://openalex.org/W2166822586","https://openalex.org/W2171691057","https://openalex.org/W2171727886","https://openalex.org/W2191031914","https://openalex.org/W2281310552","https://openalex.org/W2296544889","https://openalex.org/W2320211919","https://openalex.org/W2742478755","https://openalex.org/W2911692446","https://openalex.org/W2917906087","https://openalex.org/W3137596000","https://openalex.org/W4212933579","https://openalex.org/W4229717394","https://openalex.org/W4236937290","https://openalex.org/W4238665603"],"related_works":["https://openalex.org/W1973480752","https://openalex.org/W2805502594","https://openalex.org/W3132641048","https://openalex.org/W4403688099","https://openalex.org/W4253208712","https://openalex.org/W31439402","https://openalex.org/W2341492732","https://openalex.org/W3187193180","https://openalex.org/W2207495067","https://openalex.org/W1906486629"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"typy,":[3],"a":[4,16,51,64],"statically":[5],"typed":[6],"programming":[7],"language":[8],"embedded":[9],"by":[10,62],"reflection":[11],"into":[12],"Python.":[13,67],"typy":[14],"features":[15],"fragmentary":[17],"semantics,":[18],"i.e.":[19],"it":[20],"delegates":[21],"semantic":[22,40],"control":[23],"over":[24],"each":[25],"term,":[26],"drawn":[27],"from":[28],"Python's":[29],"fixed":[30],"concrete":[31],"and":[32,54],"abstract":[33],"syntax,":[34],"to":[35,59,66],"some":[36],"contextually":[37],"relevant":[38],"user-defined":[39],"fragment.":[41],"The":[42],"delegated":[43],"fragment":[44],"programmatically":[45],"1)":[46],"typechecks":[47],"the":[48,60],"term":[49,61],"(following":[50],"bidirectional":[52],"protocol);":[53],"2)":[55],"assigns":[56],"dynamic":[57],"meaning":[58],"computing":[63],"translation":[65]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}