{"id":"https://openalex.org/W2067607302","doi":"https://doi.org/10.1145/1111542.1111555","title":"Type-directed weaving of aspects for higher-order functional languages","display_name":"Type-directed weaving of aspects for higher-order functional languages","publication_year":2006,"publication_date":"2006-01-09","ids":{"openalex":"https://openalex.org/W2067607302","doi":"https://doi.org/10.1145/1111542.1111555","mag":"2067607302"},"language":"en","primary_location":{"id":"doi:10.1145/1111542.1111555","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111542.1111555","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research-information.bris.ac.uk/en/publications/d63cb354-4788-415a-a1ed-11d87bf8339f","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074307489","display_name":"Meng Wang","orcid":"https://orcid.org/0000-0001-7780-630X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038770856","display_name":"Kung Chen","orcid":"https://orcid.org/0000-0002-5480-3226"},"institutions":[{"id":"https://openalex.org/I87354575","display_name":"National Chengchi University","ror":"https://ror.org/03rqk8h36","country_code":"TW","type":"education","lineage":["https://openalex.org/I87354575"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kung Chen","raw_affiliation_strings":["National Chengchi University, Taiwan","National Chengchi University (Taiwan)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chengchi University, Taiwan","institution_ids":["https://openalex.org/I87354575"]},{"raw_affiliation_string":"National Chengchi University (Taiwan)","institution_ids":["https://openalex.org/I87354575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073352371","display_name":"Siau\u2010Cheng Khoo","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Siau-Cheng Khoo","raw_affiliation_strings":["National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1755,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.92639663,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"78","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","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/T10639","display_name":"Advanced Software Engineering Methodologies","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/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"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.9969000220298767,"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/programming-language","display_name":"Programming language","score":0.8620504140853882},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.8442079424858093},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8270200490951538},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.6357654333114624},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.47958698868751526},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4684006869792938},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.45080679655075073},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.44318878650665283},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.42674148082733154},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4198130965232849},{"id":"https://openalex.org/keywords/weaving","display_name":"Weaving","score":0.41396409273147583},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3125074803829193},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15599370002746582}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8620504140853882},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.8442079424858093},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8270200490951538},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6357654333114624},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.47958698868751526},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4684006869792938},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.45080679655075073},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.44318878650665283},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.42674148082733154},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4198130965232849},{"id":"https://openalex.org/C54525549","wikidata":"https://www.wikidata.org/wiki/Q2553445","display_name":"Weaving","level":2,"score":0.41396409273147583},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3125074803829193},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15599370002746582},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C90856448","wikidata":"https://www.wikidata.org/wiki/Q431","display_name":"Zoology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1145/1111542.1111555","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111542.1111555","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:47467","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111542.1111555>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Book section"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/41460","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/41460","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.511.7986","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.511.7986","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://nccuir.lib.nccu.edu.tw/bitstream/140.119/23928/1/type.pdf","raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:58a3a198-d9dc-429d-b359-541bb6ed3e08","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:58a3a198-d9dc-429d-b359-541bb6ed3e08","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":"Department of Computer Science","raw_type":"Conference item"},{"id":"pmh:oai:publications.lib.chalmers.se:141329","is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/141329-type-directed-weaving-of-aspects-for-higher-order-functional-languages","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"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.Article.Conference.PeerReviewed"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire/d63cb354-4788-415a-a1ed-11d87bf8339f","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/d63cb354-4788-415a-a1ed-11d87bf8339f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wang, M, Chen, K & Khoo, S-C 2006, Type-directed weaving of aspects for higher-order functional languages. in PEPM '06 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery, pp. 78-87. https://doi.org/10.1145/1111542.1111555","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research.chalmers.se:141329","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/141329","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"pmh:oai:research-information.bris.ac.uk:openaire/d63cb354-4788-415a-a1ed-11d87bf8339f","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/d63cb354-4788-415a-a1ed-11d87bf8339f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wang, M, Chen, K & Khoo, S-C 2006, Type-directed weaving of aspects for higher-order functional languages. in PEPM '06 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery, pp. 78-87. https://doi.org/10.1145/1111542.1111555","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1500601312","https://openalex.org/W1518108783","https://openalex.org/W1590320528","https://openalex.org/W1610570299","https://openalex.org/W1851327982","https://openalex.org/W1953148806","https://openalex.org/W1965418329","https://openalex.org/W1996961096","https://openalex.org/W2026049208","https://openalex.org/W2029414465","https://openalex.org/W2046671194","https://openalex.org/W2059895047","https://openalex.org/W2079512738","https://openalex.org/W2087307736","https://openalex.org/W2093896470","https://openalex.org/W2124476310","https://openalex.org/W2127491409","https://openalex.org/W2143238865","https://openalex.org/W2157405063","https://openalex.org/W2159410989","https://openalex.org/W2911524086","https://openalex.org/W2997671293","https://openalex.org/W4250126356","https://openalex.org/W6630948550","https://openalex.org/W6657725327"],"related_works":["https://openalex.org/W2360773559","https://openalex.org/W2023749564","https://openalex.org/W2368349799","https://openalex.org/W2038001924","https://openalex.org/W1966091859","https://openalex.org/W3019138974","https://openalex.org/W2095136535","https://openalex.org/W2105831091","https://openalex.org/W3012836300","https://openalex.org/W2531621405"],"abstract_inverted_index":{"Aspect-oriented":[0],"programming":[1],"(AOP)":[2],"has":[3],"been":[4],"shown":[5],"to":[6,22,25,102],"be":[7,17],"a":[8,35,51,59,79,85,110],"useful":[9],"model":[10],"for":[11,84],"software":[12],"development.":[13],"Special":[14],"care":[15],"must":[16],"taken":[18],"when":[19],"we":[20],"try":[21],"adapt":[23],"AOP":[24],"strongly":[26],"typed":[27],"functional":[28],"languages":[29],"which":[30,63,114,134],"come":[31],"with":[32,65,68,90],"features":[33],"like":[34],"type":[36,81,94,104],"inference":[37,82],"mechanism,":[38],"polymorphic":[39,87],"types,":[40],"higher-order":[41,75],"functions":[42],"and":[43,130],"type-scoped":[44,69,91],"pointcuts.":[45,92],"Our":[46],"main":[47],"contribution":[48],"lies":[49],"in":[50,71,137],"seamless":[52],"integration":[53],"of":[54,74,105],"these":[55],"two":[56],"paradigms":[57],"through":[58],"static":[60,120],"weaving":[61],"process":[62],"deals":[64],"around":[66,106],"advices":[67],"pointcuts":[70],"the":[72,103,138],"presence":[73],"functions.":[76],"We":[77,108],"give":[78],"source-level":[80],"system":[83,95],"higher-order,":[86],"language":[88],"coupled":[89],"The":[93,122],"ensures":[96],"that":[97],"base":[98],"programs":[99,129],"are":[100],"oblivious":[101],"advices.":[107],"present":[109],"type-directed":[111],"translation":[112,123],"scheme":[113],"resolves":[115],"all":[116],"advice":[117,125],"applications":[118],"at":[119],"time.":[121],"removes":[124],"declarations":[126],"from":[127],"source":[128],"produces":[131],"translated":[132],"code":[133],"is":[135],"typable":[136],"Hindley-Milner":[139],"system.":[140]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}