{"id":"https://openalex.org/W2885689644","doi":"https://doi.org/10.1145/3450272","title":"Polymorphic Iterable Sequential Effect Systems","display_name":"Polymorphic Iterable Sequential Effect Systems","publication_year":2021,"publication_date":"2021-03-31","ids":{"openalex":"https://openalex.org/W2885689644","doi":"https://doi.org/10.1145/3450272","mag":"2885689644"},"language":"en","primary_location":{"id":"doi:10.1145/3450272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3450272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3450272","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3450272","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Colin S. Gordon","orcid":"https://orcid.org/0000-0002-9012-4490"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Colin S. Gordon","raw_affiliation_strings":["Drexel University, Philadelphia, PA"],"raw_orcid":"https://orcid.org/0000-0002-9012-4490","affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA","institution_ids":["https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I72816309"],"apc_list":null,"apc_paid":null,"fwci":1.4012,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.83998527,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"43","issue":"1","first_page":"1","last_page":"79"},"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.9388999938964844,"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.9388999938964844,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.014999999664723873,"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/T10142","display_name":"Formal Methods in Verification","score":0.00989999994635582,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.6140999794006348},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5526000261306763},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5419999957084656},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5248000025749207},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.49559998512268066},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.474700003862381},{"id":"https://openalex.org/keywords/semilattice","display_name":"Semilattice","score":0.4542999863624573},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.4068000018596649}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688999772071838},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6140999794006348},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5526000261306763},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5419999957084656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.526199996471405},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5248000025749207},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.474700003862381},{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.4542999863624573},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41769999265670776},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3801000118255615},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.3181999921798706},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2540000081062317}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3450272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3450272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3450272","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1808.02010","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.02010","pdf_url":"https://arxiv.org/pdf/1808.02010","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"}],"best_oa_location":{"id":"doi:10.1145/3450272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3450272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3450272","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4556873422","display_name":"SHF:Small:Making Effect Systems Practical with Polymorphism, Inference, and Prototyping Support","funder_award_id":"2007582","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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2885689644.pdf","grobid_xml":"https://content.openalex.org/works/W2885689644.grobid-xml"},"referenced_works_count":86,"referenced_works":["https://openalex.org/W578709777","https://openalex.org/W1481365453","https://openalex.org/W1486694616","https://openalex.org/W1523284847","https://openalex.org/W1552367747","https://openalex.org/W1587968183","https://openalex.org/W1591301196","https://openalex.org/W1602651206","https://openalex.org/W1698939026","https://openalex.org/W1815928176","https://openalex.org/W1844876252","https://openalex.org/W1878707325","https://openalex.org/W1941520090","https://openalex.org/W1965338471","https://openalex.org/W1969167499","https://openalex.org/W1980476455","https://openalex.org/W1980939032","https://openalex.org/W1981962444","https://openalex.org/W1984902166","https://openalex.org/W1988661738","https://openalex.org/W1992012690","https://openalex.org/W1995369968","https://openalex.org/W1998368317","https://openalex.org/W2006638707","https://openalex.org/W2007738069","https://openalex.org/W2016389769","https://openalex.org/W2022518532","https://openalex.org/W2027099721","https://openalex.org/W2029849818","https://openalex.org/W2034579607","https://openalex.org/W2036157748","https://openalex.org/W2038677544","https://openalex.org/W2040105559","https://openalex.org/W2045949477","https://openalex.org/W2046137117","https://openalex.org/W2048038821","https://openalex.org/W2048921878","https://openalex.org/W2068457689","https://openalex.org/W2072062729","https://openalex.org/W2079502209","https://openalex.org/W2080573945","https://openalex.org/W2083355374","https://openalex.org/W2083844543","https://openalex.org/W2087875803","https://openalex.org/W2090746009","https://openalex.org/W2094694891","https://openalex.org/W2103957752","https://openalex.org/W2104422179","https://openalex.org/W2106281135","https://openalex.org/W2108153924","https://openalex.org/W2109875364","https://openalex.org/W2122244113","https://openalex.org/W2123691799","https://openalex.org/W2128448167","https://openalex.org/W2129133667","https://openalex.org/W2132500556","https://openalex.org/W2137186143","https://openalex.org/W2138038864","https://openalex.org/W2143665015","https://openalex.org/W2148687959","https://openalex.org/W2156428492","https://openalex.org/W2157896371","https://openalex.org/W2162298406","https://openalex.org/W2163152086","https://openalex.org/W2163672449","https://openalex.org/W2163976959","https://openalex.org/W2164297069","https://openalex.org/W2165952355","https://openalex.org/W2166049140","https://openalex.org/W2166615267","https://openalex.org/W2172255864","https://openalex.org/W2293797630","https://openalex.org/W2295577580","https://openalex.org/W2339107952","https://openalex.org/W2534815697","https://openalex.org/W2536396847","https://openalex.org/W2952161062","https://openalex.org/W2995031344","https://openalex.org/W3008834557","https://openalex.org/W3022418280","https://openalex.org/W3047270535","https://openalex.org/W4205907492","https://openalex.org/W4235116491","https://openalex.org/W4240226860","https://openalex.org/W4244157805","https://openalex.org/W4254551474"],"related_works":[],"abstract_inverted_index":{"Effect":[0],"systems":[1,7,27,32,42,150,201],"are":[2],"lightweight":[3],"extensions":[4],"to":[5,31,187,222],"type":[6],"that":[8,98,133,148,167,229],"can":[9,99],"verify":[10],"a":[11,46,104,124,145,210],"wide":[12],"range":[13,105],"of":[14,25,36,45,48,52,71,103,106,126,143,171,208,213,228,250],"important":[15],"properties":[16,97],"with":[17,95,157,185],"modest":[18],"developer":[19],"burden.":[20],"But":[21],"our":[22,203],"general":[23],"understanding":[24,51],"effect":[26,62,67,86,91,109,113,129,136,183,194],"is":[28,38,73,139,173],"limited":[29],"primarily":[30],"where":[33,242],"the":[34,53,69,101,153,158,197,206,234,243,251],"order":[35,70],"effects":[37,49,72,102,238],"irrelevant.":[39],"Understanding":[40],"such":[41],"in":[43,163,205],"terms":[44],"semilattice":[47],"grounds":[50],"essential":[54],"issues":[55],"and":[56,118,166,202,239],"provides":[57],"guidance":[58],"when":[59,178],"designing":[60],"new":[61],"systems.":[63,110,130],"By":[64],"contrast,":[65],"sequential":[66,108,128,146,193,237],"systems\u2014where":[68],"important\u2014lack":[74],"an":[75,83,90,140],"established":[76],"algebraic":[77,93],"structure":[78,94],"on":[79,189],"effects.":[80],"We":[81,111,131,180],"present":[82],"abstract":[84],"polymorphic":[85],"system":[87],"parameterized":[88],"by":[89],"quantale\u2014an":[92],"well-defined":[96],"model":[100,123],"existing":[107],"define":[112],"quantales,":[114,137],"derive":[115],"useful":[116],"properties,":[117],"show":[119,132],"how":[120],"they":[121],"cleanly":[122],"variety":[125],"known":[127],"for":[134,149,192],"most":[135],"there":[138],"induced":[141,169],"notion":[142,170],"iterating":[144],"effect;":[147],"we":[151,232],"consider":[152,233],"derived":[154,217],"iteration":[155,161,172,218],"agrees":[156],"manually":[159],"designed":[160],"operators":[162],"prior":[164],"work;":[165],"this":[168],"as":[174,176,248],"precise":[175],"possible":[177],"defined.":[179],"also":[181],"position":[182],"quantales":[184],"respect":[186],"work":[188],"categorical":[190],"semantics":[191],"systems,":[195],"clarifying":[196],"distinctions":[198],"between":[199,236],"these":[200,214,223],"own":[204],"course":[207],"giving":[209],"thorough":[211],"survey":[212],"frameworks.":[215],"Our":[216],"construct":[219],"should":[220],"generalize":[221],"semantic":[224],"structures,":[225],"addressing":[226],"limitations":[227],"work.":[230],"Finally,":[231],"relationship":[235],"Kleene":[240],"Algebras,":[241],"latter":[244],"may":[245],"be":[246],"used":[247],"instances":[249],"former.":[252]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2018-08-22T00:00:00"}