{"id":"https://openalex.org/W2166049140","doi":"https://doi.org/10.1145/2429069.2429074","title":"The sequential semantics of producer effect systems","display_name":"The sequential semantics of producer effect systems","publication_year":2013,"publication_date":"2013-01-22","ids":{"openalex":"https://openalex.org/W2166049140","doi":"https://doi.org/10.1145/2429069.2429074","mag":"2166049140"},"language":"en","primary_location":{"id":"doi:10.1145/2429069.2429074","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069.2429074","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5001655224","display_name":"Ross Tate","orcid":"https://orcid.org/0000-0002-7608-4605"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ross Tate","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001655224"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":3.2033,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.93510602,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"26"},"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.9998999834060669,"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.9998999834060669,"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.9976999759674072,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9891999959945679,"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/generality","display_name":"Generality","score":0.8120948076248169},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7561402320861816},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.7001250982284546},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6788754463195801},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5764888525009155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47090744972229004},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4617585837841034},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41852909326553345},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.41410359740257263},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3223293125629425},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29418429732322693},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.13259556889533997}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.8120948076248169},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7561402320861816},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.7001250982284546},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6788754463195801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5764888525009155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47090744972229004},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4617585837841034},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41852909326553345},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.41410359740257263},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3223293125629425},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29418429732322693},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.13259556889533997},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2429069.2429074","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069.2429074","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.470.5201","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.5201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/~ross/publications/productors/productors-tate-popl13-tr.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W30471523","https://openalex.org/W1519382205","https://openalex.org/W1521014576","https://openalex.org/W1558848517","https://openalex.org/W1580933871","https://openalex.org/W1677393765","https://openalex.org/W1731357855","https://openalex.org/W1743640533","https://openalex.org/W1870682227","https://openalex.org/W1974921390","https://openalex.org/W1980476455","https://openalex.org/W1980827618","https://openalex.org/W2017060815","https://openalex.org/W2022518532","https://openalex.org/W2030360570","https://openalex.org/W2037984920","https://openalex.org/W2046137117","https://openalex.org/W2052822938","https://openalex.org/W2064138295","https://openalex.org/W2078944436","https://openalex.org/W2084475398","https://openalex.org/W2090746009","https://openalex.org/W2101416179","https://openalex.org/W2102459565","https://openalex.org/W2112281233","https://openalex.org/W2113109742","https://openalex.org/W2118002698","https://openalex.org/W2118671630","https://openalex.org/W2132500556","https://openalex.org/W2141576692","https://openalex.org/W2156876717","https://openalex.org/W2162298406","https://openalex.org/W2166351442","https://openalex.org/W2295914203","https://openalex.org/W2913378306","https://openalex.org/W3026165110","https://openalex.org/W4238665603","https://openalex.org/W6633252670","https://openalex.org/W6657919976","https://openalex.org/W6676618520"],"related_works":["https://openalex.org/W1587224678","https://openalex.org/W1880843538","https://openalex.org/W1822341686","https://openalex.org/W1599396963","https://openalex.org/W2793653224","https://openalex.org/W1499261285","https://openalex.org/W2166049140","https://openalex.org/W3145769268","https://openalex.org/W2550953148","https://openalex.org/W2113015655"],"abstract_inverted_index":{"Effects":[0],"are":[1,160],"fundamental":[2],"to":[3,29,49,71],"programming":[4],"languages.":[5],"Even":[6],"the":[7,14,73,90,102,156],"lambda":[8,42],"calculus":[9],"has":[10,26],"effects,":[11,54],"and":[12,139],"consequently":[13,153],"two":[15],"famous":[16],"evaluation":[17],"strategies":[18],"produce":[19],"different":[20],"semantics.":[21],"As":[22],"such,":[23],"much":[24],"research":[25],"been":[27,47],"done":[28],"improve":[30],"our":[31,127],"understanding":[32],"of":[33,92,104,112,150,162],"effects.":[34],"Since":[35],"Moggi":[36],"introduced":[37],"monads":[38,58,62],"for":[39,80,130],"his":[40],"computational":[41,53],"calculus,":[43],"further":[44],"generalizations":[45],"have":[46],"designed":[48],"formalize":[50],"increasingly":[51],"complex":[52],"such":[55,88,100],"as":[56,89,94,96,101,108],"indexed":[57],"followed":[59,63],"by":[60,64,144],"layered":[61],"parameterized":[65],"monads.":[66],"This":[67],"succession":[68],"prompted":[69],"us":[70],"determine":[72],"most":[74],"general":[75],"formalization":[76,82,129],"possible.":[77],"In":[78,122],"searching":[79],"this":[81,123],"we":[83,125,135],"came":[84],"across":[85],"many":[86,97],"surprises,":[87],"insufficiencies":[91],"arrows,":[93],"well":[95],"unexpected":[98],"insights,":[99],"importance":[103],"considering":[105],"an":[106,119],"effect":[107,132],"a":[109,113,137],"small":[110],"component":[111],"whole":[114],"system":[115],"rather":[116],"than":[117],"just":[118],"isolated":[120],"feature.":[121],"paper":[124],"present":[126],"semantic":[128],"producer":[131],"systems,":[133],"which":[134],"call":[136],"productor,":[138],"prove":[140],"its":[141],"maximal":[142],"generality":[143],"focusing":[145],"on":[146],"only":[147],"sequential":[148],"composition":[149],"effectful":[151],"computations,":[152],"guaranteeing":[154],"that":[155],"existing":[157],"monadic":[158],"techniques":[159],"specializations":[161],"productors.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":7}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}