{"id":"https://openalex.org/W2769962266","doi":"https://doi.org/10.1145/3158101","title":"Unifying analytic and statically-typed quasiquotes","display_name":"Unifying analytic and statically-typed quasiquotes","publication_year":2017,"publication_date":"2017-12-27","ids":{"openalex":"https://openalex.org/W2769962266","doi":"https://doi.org/10.1145/3158101","mag":"2769962266"},"language":"en","primary_location":{"id":"doi:10.1145/3158101","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158101","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158101?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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":null,"license_id":null,"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":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3158101?download=true","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002106868","display_name":"Lionel Parreaux","orcid":"https://orcid.org/0000-0002-8805-0728"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Lionel Parreaux","raw_affiliation_strings":["EPFL, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082382062","display_name":"Antoine Voizard","orcid":null},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Antoine Voizard","raw_affiliation_strings":["University of Pennsylvania, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025737201","display_name":"Amir Shaikhha","orcid":"https://orcid.org/0000-0002-9062-759X"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Amir Shaikhha","raw_affiliation_strings":["EPFL, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101903922","display_name":"Christoph Koch","orcid":"https://orcid.org/0000-0002-9130-7205"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Christoph E. Koch","raw_affiliation_strings":["EPFL, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5002106868"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":2.2865,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.91225061,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"2","issue":"POPL","first_page":"1","last_page":"33"},"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/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"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/T11424","display_name":"Security and Verification in Computing","score":0.9911999702453613,"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.8593992590904236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8051466941833496},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.716140866279602},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.665645956993103},{"id":"https://openalex.org/keywords/metaprogramming","display_name":"Metaprogramming","score":0.6645557880401611},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6182217001914978},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5667790174484253},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.5281676650047302},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.49913692474365234},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.49247226119041443},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.47504758834838867},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.4610307812690735},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.45491552352905273},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4534584879875183},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4352136254310608},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.42328619956970215},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4173644781112671},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.24927249550819397},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.23910880088806152},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.20038819313049316},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1874755620956421},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.13465136289596558}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8593992590904236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8051466941833496},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.716140866279602},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.665645956993103},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.6645557880401611},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6182217001914978},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5667790174484253},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.5281676650047302},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.49913692474365234},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.49247226119041443},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.47504758834838867},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.4610307812690735},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.45491552352905273},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4534584879875183},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4352136254310608},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.42328619956970215},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4173644781112671},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.24927249550819397},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.23910880088806152},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.20038819313049316},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1874755620956421},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.13465136289596558},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3158101","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158101","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158101?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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":null,"license_id":null,"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:infoscience.epfl.ch:232427","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/232427","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:232427","is_oa":true,"landing_page_url":"https://popl18.sigplan.org/event/popl-2018-papers-unifying-analytic-and-statically-typed-quasiquotes","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:b1d4bae9-7496-4da8-b248-67185b58fb92","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:b1d4bae9-7496-4da8-b248-67185b58fb92","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-108698","is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-85120113214&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:repository.ust.hk:1783.1-108698","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-108698","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3158101","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158101","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3158101?download=true","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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":null,"license_id":null,"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/G3068093903","display_name":"Parabolische Differentialungleichungen: Qualitative und numerische Aspekte","funder_award_id":"52153","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G309006206","display_name":null,"funder_award_id":"MARVEL","funder_id":"https://openalex.org/F4320335367","funder_display_name":"National Center of Competence in Research Materials\u2019 Revolution: Computational Design and Discovery of Novel Materials"},{"id":"https://openalex.org/G3489403815","display_name":"Cell biology of poxvirus infection","funder_award_id":"131988","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G3566119453","display_name":null,"funder_award_id":"MARVEL","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G4643737529","display_name":null,"funder_award_id":"1521539","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7280666411","display_name":null,"funder_award_id":"NCCR MARVEL","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G7702099786","display_name":"Behinderte Jugendliche: Soziale Isolierung oder Patizipation","funder_award_id":"15215","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8972006971","display_name":null,"funder_award_id":"1319880","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"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320335367","display_name":"National Center of Competence in Research Materials\u2019 Revolution: Computational Design and Discovery of Novel Materials","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2769962266.pdf","grobid_xml":"https://content.openalex.org/works/W2769962266.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W84930537","https://openalex.org/W156128227","https://openalex.org/W197196919","https://openalex.org/W1532750793","https://openalex.org/W1556604985","https://openalex.org/W1557658176","https://openalex.org/W1573802872","https://openalex.org/W1625533892","https://openalex.org/W1827112781","https://openalex.org/W1839902311","https://openalex.org/W1963538417","https://openalex.org/W1981665907","https://openalex.org/W1984514567","https://openalex.org/W1990204174","https://openalex.org/W2009464583","https://openalex.org/W2009775190","https://openalex.org/W2011388951","https://openalex.org/W2013770653","https://openalex.org/W2026049208","https://openalex.org/W2026323010","https://openalex.org/W2029408547","https://openalex.org/W2029786195","https://openalex.org/W2030685162","https://openalex.org/W2032988652","https://openalex.org/W2038412523","https://openalex.org/W2041562780","https://openalex.org/W2043815581","https://openalex.org/W2044417921","https://openalex.org/W2049268728","https://openalex.org/W2050613794","https://openalex.org/W2070262175","https://openalex.org/W2071866471","https://openalex.org/W2072956890","https://openalex.org/W2074489032","https://openalex.org/W2081418732","https://openalex.org/W2091657052","https://openalex.org/W2093793584","https://openalex.org/W2094455839","https://openalex.org/W2095377417","https://openalex.org/W2096314727","https://openalex.org/W2100444372","https://openalex.org/W2105079611","https://openalex.org/W2105815991","https://openalex.org/W2106771621","https://openalex.org/W2108290652","https://openalex.org/W2118578267","https://openalex.org/W2119871735","https://openalex.org/W2122339407","https://openalex.org/W2123092976","https://openalex.org/W2134291411","https://openalex.org/W2136171121","https://openalex.org/W2151892596","https://openalex.org/W2154697693","https://openalex.org/W2156000708","https://openalex.org/W2158543254","https://openalex.org/W2160183719","https://openalex.org/W2161550557","https://openalex.org/W2247694024","https://openalex.org/W2289066165","https://openalex.org/W2293168108","https://openalex.org/W2340838390","https://openalex.org/W2401974969","https://openalex.org/W2404114915","https://openalex.org/W2528770764","https://openalex.org/W2537703000","https://openalex.org/W2596218679","https://openalex.org/W2754883653","https://openalex.org/W2764337128","https://openalex.org/W2952451116","https://openalex.org/W2977904728","https://openalex.org/W3138367763","https://openalex.org/W3139669840","https://openalex.org/W4233720472","https://openalex.org/W4237428230","https://openalex.org/W4244570357","https://openalex.org/W4249653116","https://openalex.org/W4252279595"],"related_works":["https://openalex.org/W2536864162","https://openalex.org/W3176913510","https://openalex.org/W3138016835","https://openalex.org/W2077104824","https://openalex.org/W4288358733","https://openalex.org/W1535099794","https://openalex.org/W2102843952","https://openalex.org/W2994906898","https://openalex.org/W2019388039","https://openalex.org/W2769962266"],"abstract_inverted_index":{"Metaprograms":[0],"are":[1,13,119],"programs":[2,58,118],"that":[3,40,63,116,186],"manipulate":[4],"(generate,":[5],"analyze":[6],"and":[7,22,56,67,70,109,121,144,146,193],"evaluate)":[8],"other":[9],"programs.":[10,86],"These":[11],"tasks":[12],"greatly":[14],"facilitated":[15],"by":[16],"quasiquotation,":[17],"a":[18,101,123,137,158,181],"technique":[19,185],"to":[20,78,93],"construct":[21,55,85],"deconstruct":[23,57],"program":[24,112],"fragments":[25,113],"using":[26],"quoted":[27],"code":[28,62,141,183],"templates":[29],"expressed":[30],"in":[31,126,156],"the":[32,35,95,106,170,199],"syntax":[33],"of":[34,44,97,111,172,190,201],"manipulated":[36],"language.":[37],"We":[38,129,151],"argue":[39],"two":[41],"main":[42],"flavors":[43,99],"quasiquotes":[45],"have":[46],"existed":[47],"so":[48],"far:":[49],"Lisp-style":[50],"quasiquotes,":[51,72],"which":[52,73],"can":[53,83],"both":[54,98],"but":[59,82],"may":[60],"produce":[61],"contains":[64],"type":[65,149,166],"mismatches":[66],"unbound":[68],"variables;":[69],"MetaML-style":[71],"rely":[74],"on":[75],"static":[76],"typing":[77],"prevent":[79],"these":[80,191],"errors,":[81],"only":[84],"In":[87],"this":[88],"paper,":[89],"we":[90,104,175,194],"show":[91],"how":[92,196],"combine":[94],"advantages":[96],"into":[100],"unified":[102],"framework:":[103],"allow":[105],"construction,":[107],"deconstruction":[108],"evaluation":[110],"while":[114],"ensuring":[115],"generated":[117],"well-typed":[120],"well-scoped,":[122],"combination":[124],"unseen":[125],"previous":[127],"work.":[128],"formalize":[130],"our":[131,173],"approach":[132],"as":[133],"\u03bb":[134],"{}":[135],",":[136,180],"multi-stage":[138],"calculus":[139],"with":[140],"pattern":[142],"matching":[143],"rewriting,":[145],"prove":[147],"its":[148,154],"safety.":[150],"also":[152],"present":[153],"realization":[155],"Squid,":[157],"metaprogramming":[159],"framework":[160],"for":[161],"Scala,":[162],"leveraging":[163],"Scala\u2019s":[164],"expressive":[165],"system.":[167],"To":[168],"demonstrate":[169],"usefulness":[171],"approach,":[174],"introduce":[176],"speculative":[177],"rewrite":[178],"rules":[179],"novel":[182],"transformation":[184],"makes":[187],"decisive":[188],"use":[189],"capabilities,":[192],"outline":[195],"it":[197],"simplifies":[198],"design":[200],"some":[202],"crucial":[203],"query":[204],"compiler":[205],"optimizations.":[206]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2025-10-10T00:00:00"}