{"id":"https://openalex.org/W2127491409","doi":"https://doi.org/10.1145/1086365.1086404","title":"Poly <sub>AML</sub>","display_name":"Poly <sub>AML</sub>","publication_year":2005,"publication_date":"2005-09-12","ids":{"openalex":"https://openalex.org/W2127491409","doi":"https://doi.org/10.1145/1086365.1086404","mag":"2127491409"},"language":"en","primary_location":{"id":"doi:10.1145/1086365.1086404","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1086365.1086404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth 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/A5079756402","display_name":"Daniel S. Dantas","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel S. Dantas","raw_affiliation_strings":["Princeton University, Princeton, NJ"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049454219","display_name":"David Walker","orcid":"https://orcid.org/0000-0003-3681-149X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Walker","raw_affiliation_strings":["Princeton University, Princeton, NJ"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032324538","display_name":"Geoffrey Washburn","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":"Geoffrey Washburn","raw_affiliation_strings":["University of Pennsylvania","#N# * University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"#N# * University of Pennsylvania","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049220962","display_name":"Stephanie Weirich","orcid":"https://orcid.org/0000-0002-6756-9168"},"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":"Stephanie Weirich","raw_affiliation_strings":["University of Pennsylvania","#N# * University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"#N# * University of Pennsylvania","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5079756402"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":9.6524,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.98024512,"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":"306","last_page":"319"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9984999895095825,"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.9984999895095825,"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.9976000189781189,"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.9951000213623047,"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/type-inference","display_name":"Type inference","score":0.8149616718292236},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8140256404876709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7810508608818054},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.6054362058639526},{"id":"https://openalex.org/keywords/language-construct","display_name":"Language construct","score":0.5436174273490906},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5340282917022705},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4428694546222687},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.43711239099502563},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.355970561504364},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34022098779678345},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10023429989814758}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.8149616718292236},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8140256404876709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7810508608818054},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.6054362058639526},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.5436174273490906},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5340282917022705},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4428694546222687},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.43711239099502563},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.355970561504364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34022098779678345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10023429989814758},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1086365.1086404","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1086365.1086404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM SIGPLAN international conference on Functional programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W39612086","https://openalex.org/W78445279","https://openalex.org/W124103463","https://openalex.org/W125992150","https://openalex.org/W164606597","https://openalex.org/W193724929","https://openalex.org/W205574843","https://openalex.org/W1491178396","https://openalex.org/W1494264673","https://openalex.org/W1500601312","https://openalex.org/W1546727036","https://openalex.org/W1550049051","https://openalex.org/W1567899797","https://openalex.org/W1570911130","https://openalex.org/W1576866974","https://openalex.org/W1590320528","https://openalex.org/W1594701869","https://openalex.org/W1597824249","https://openalex.org/W1610570299","https://openalex.org/W1829244603","https://openalex.org/W1851327982","https://openalex.org/W1855341394","https://openalex.org/W1888344413","https://openalex.org/W1941412300","https://openalex.org/W1947395352","https://openalex.org/W1965418329","https://openalex.org/W1987755707","https://openalex.org/W2006611045","https://openalex.org/W2023499869","https://openalex.org/W2025407135","https://openalex.org/W2036910349","https://openalex.org/W2046970568","https://openalex.org/W2050702141","https://openalex.org/W2057257598","https://openalex.org/W2075867419","https://openalex.org/W2077382005","https://openalex.org/W2093186740","https://openalex.org/W2104299410","https://openalex.org/W2105033638","https://openalex.org/W2116244845","https://openalex.org/W2117153488","https://openalex.org/W2124476310","https://openalex.org/W2131916293","https://openalex.org/W2135265328","https://openalex.org/W2137689716","https://openalex.org/W2140207165","https://openalex.org/W2141704790","https://openalex.org/W2141988808","https://openalex.org/W2154273644","https://openalex.org/W2154677029","https://openalex.org/W2154717882","https://openalex.org/W2157405063","https://openalex.org/W2159410989","https://openalex.org/W2160614176","https://openalex.org/W2163976959","https://openalex.org/W2166129645","https://openalex.org/W2166822586","https://openalex.org/W2295150383","https://openalex.org/W4240166417","https://openalex.org/W4285719527","https://openalex.org/W4301329292","https://openalex.org/W6606710346","https://openalex.org/W6629809019","https://openalex.org/W6634611326","https://openalex.org/W6640638703","https://openalex.org/W6697011260"],"related_works":["https://openalex.org/W1941412300","https://openalex.org/W2804371217","https://openalex.org/W4297831890","https://openalex.org/W2963764498","https://openalex.org/W2068383718","https://openalex.org/W2135265328","https://openalex.org/W2068706008","https://openalex.org/W2924405342","https://openalex.org/W2112150205","https://openalex.org/W4251656442"],"abstract_inverted_index":{"This":[0],"paper":[1],"defines":[2],"PolyAML,":[3],"a":[4,43,54,70,90,103,125,154,159,166,191,198],"typed":[5],"functional,":[6],"aspect-oriented":[7,25,75],"programming":[8,26],"language.":[9,111],"The":[10],"main":[11],"contribution":[12],"of":[13,19,45,93,114,128,132,135,142,170,179,193,202,208,211],"PolyAML":[14,31,49],"is":[15,139,182,195,205],"the":[16,80,83,115,133,136,140,162,177,200,209,212],"seamless":[17],"integration":[18],"polymorphism,":[20],"run-time":[21],"type":[22,55,62,86,95,178,201,210],"analysis":[23],"and":[24],"language":[27,99,117,138],"features.":[28],"In":[29],"particular,":[30],"allows":[32],"programmers":[33],"to":[34,124],"define":[35],"type-safe":[36,109],"polymorphic":[37,46,67,143,184],"advice":[38],"using":[39],"pointcuts":[40],"constructed":[41],"from":[42],"collection":[44],"join":[47],"points.":[48,148],"also":[50],"comes":[51],"equipped":[52],"with":[53,89],"inference":[56,87],"algorithm":[57,81,88],"that":[58,158,176],"conservatively":[59],"extends":[60],"Hindley-Milner":[61,85],"inference.":[63],"To":[64],"support":[65],"first-class":[66],"point-cut":[68],"designators,":[69],"crucial":[71],"feature":[72],"for":[73,145,168],"developing":[74],"profiling":[76],"or":[77],"logging":[78],"libraries,":[79],"blends":[82],"conventional":[84],"simple":[91],"form":[92],"local":[94],"inference.We":[96],"give":[97],"our":[98],"operational":[100],"meaning":[101],"via":[102],"type-directed":[104],"translation":[105],"into":[106],"an":[107,206],"expressive":[108],"intermediate":[110,137],"Many":[112],"complexities":[113],"source":[116],"are":[118,151],"eliminated":[119],"in":[120,153,161],"this":[121],"translation,":[122],"leading":[123],"modular":[126],"specification":[127],"its":[129,171,186],"semantics.":[130],"One":[131],"novelties":[134],"definition":[141],"labels":[144,150,194],"marking":[146],"control-flow":[147],"These":[149],"organized":[152],"tree":[155,163],"structure":[156],"such":[157],"parent":[160,187],"serves":[164],"as":[165,197],"representative":[167],"all":[169],"children.":[172],"Type":[173],"safety":[174],"requires":[175],"each":[180,203],"child":[181],"less":[183],"than":[185],"type.":[188],"Similarly,":[189],"when":[190],"set":[192],"assembled":[196],"pointcut,":[199],"label":[204],"instance":[207],"pointcut.":[213]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-23T05:10:03.516525","created_date":"2025-10-10T00:00:00"}