{"id":"https://openalex.org/W1989877409","doi":"https://doi.org/10.1145/2784731.2784755","title":"Hygienic resugaring of compositional desugaring","display_name":"Hygienic resugaring of compositional desugaring","publication_year":2015,"publication_date":"2015-08-26","ids":{"openalex":"https://openalex.org/W1989877409","doi":"https://doi.org/10.1145/2784731.2784755","mag":"1989877409"},"language":"en","primary_location":{"id":"doi:10.1145/2784731.2784755","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731.2784755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","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/A5011426510","display_name":"Justin Pombrio","orcid":"https://orcid.org/0009-0004-0244-6193"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Justin Pombrio","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011426510"],"corresponding_institution_ids":["https://openalex.org/I175594653","https://openalex.org/I27804330"],"apc_list":null,"apc_paid":null,"fwci":3.973,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.93927918,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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.9973999857902527,"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/computer-science","display_name":"Computer science","score":0.8334730267524719},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6885326504707336},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6722867488861084},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5846704840660095},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.4974406063556671},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.49625545740127563},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.49318093061447144},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47238874435424805},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.46501877903938293},{"id":"https://openalex.org/keywords/offset","display_name":"Offset (computer science)","score":0.4570808708667755},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.4318923354148865},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3687846064567566},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3483957052230835},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3255714476108551},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.2406213879585266},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.12525558471679688},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11211243271827698}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8334730267524719},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6885326504707336},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6722867488861084},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5846704840660095},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.4974406063556671},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.49625545740127563},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49318093061447144},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47238874435424805},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.46501877903938293},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.4570808708667755},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.4318923354148865},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3687846064567566},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3483957052230835},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3255714476108551},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.2406213879585266},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.12525558471679688},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11211243271827698},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2784731.2784755","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731.2784755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W781995223","https://openalex.org/W1501205670","https://openalex.org/W1969204136","https://openalex.org/W1975082667","https://openalex.org/W1994736245","https://openalex.org/W2009464583","https://openalex.org/W2029786195","https://openalex.org/W2044999110","https://openalex.org/W2064093999","https://openalex.org/W2092028234","https://openalex.org/W2101225843","https://openalex.org/W2113757735","https://openalex.org/W2118450335","https://openalex.org/W2136110102","https://openalex.org/W2151716725","https://openalex.org/W2193084514","https://openalex.org/W2296677810","https://openalex.org/W2478950879","https://openalex.org/W2912858146","https://openalex.org/W4212957569","https://openalex.org/W4237428230","https://openalex.org/W4246086292"],"related_works":["https://openalex.org/W2954615856","https://openalex.org/W4389495687","https://openalex.org/W2611067684","https://openalex.org/W3091612339","https://openalex.org/W1988021859","https://openalex.org/W2037906140","https://openalex.org/W2004832663","https://openalex.org/W1964992931","https://openalex.org/W2030435654","https://openalex.org/W3195022246"],"abstract_inverted_index":{"Syntactic":[0],"sugar":[1,74],"is":[2,58],"widely":[3],"used":[4],"in":[5,65,69,107],"language":[6,68],"implementation.":[7],"Its":[8],"benefits":[9],"are,":[10],"however,":[11],"offset":[12],"by":[13,41],"the":[14,59,66,72,76,108],"comprehension":[15],"problems":[16],"it":[17,45,89,93],"presents":[18],"to":[19,35,54,80,101],"programmers":[20],"once":[21],"their":[22],"program":[23,32],"has":[24,33,85],"been":[25],"transformed.":[26],"In":[27],"particular,":[28],"after":[29],"a":[30,42,51,111],"transformed":[31],"begun":[34],"evaluate":[36],"(or":[37],"otherwise":[38],"be":[39],"altered":[40],"black-box":[43],"process),":[44],"can":[46],"become":[47],"unrecognizable.":[48],"We":[49,104],"present":[50],"new":[52],"approach":[53,84],"_resugaring_":[55],"programs,":[56,115],"which":[57],"act":[60],"of":[61,71,110,114],"reflecting":[62],"evaluation":[63],"steps":[64],"core":[67],"terms":[70],"syntactic":[73],"that":[75],"programmer":[77],"used.":[78],"Relative":[79],"prior":[81],"work,":[82],"our":[83],"two":[86],"important":[87],"advances:":[88],"handles":[90],"hygiene,":[91],"and":[92],"allows":[94],"almost":[95],"arbitrary":[96],"rewriting":[97],"rules":[98],"(as":[99],"opposed":[100],"restricted":[102],"patterns).":[103],"do":[105],"this":[106],"context":[109],"DAG":[112],"representation":[113],"rather":[116],"than":[117],"more":[118],"traditional":[119],"trees.":[120]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"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"}