{"id":"https://openalex.org/W2911706275","doi":"https://doi.org/10.1145/3236762","title":"Versatile event correlation with algebraic effects","display_name":"Versatile event correlation with algebraic effects","publication_year":2018,"publication_date":"2018-07-30","ids":{"openalex":"https://openalex.org/W2911706275","doi":"https://doi.org/10.1145/3236762","mag":"2911706275"},"language":"en","primary_location":{"id":"doi:10.1145/3236762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236762","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3236762","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019063975","display_name":"Oliver Bra\u010devac","orcid":"https://orcid.org/0000-0003-3569-4869"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Oliver Bra\u010devac","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054275386","display_name":"Nada Amin","orcid":"https://orcid.org/0000-0002-0830-7248"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nada Amin","raw_affiliation_strings":["University of Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090555377","display_name":"Guido Salvaneschi","orcid":"https://orcid.org/0000-0002-9324-8894"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Guido Salvaneschi","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059992246","display_name":"Sebastian Erdweg","orcid":"https://orcid.org/0000-0002-1974-5956"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sebastian Erdweg","raw_affiliation_strings":["Delft University of Technology, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024420075","display_name":"Patrick Eugster","orcid":"https://orcid.org/0000-0003-3864-9078"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Patrick Eugster","raw_affiliation_strings":["University of Lugano, Switzerland / TU Darmstadt, Germany / Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano, Switzerland / TU Darmstadt, Germany / Purdue University, USA","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9882,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.80100283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2","issue":"ICFP","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9973000288009644,"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.8401680588722229},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.7660278081893921},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5831284523010254},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5704666376113892},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5702983736991882},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5582284331321716},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.5262312889099121},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5221564769744873},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49877405166625977},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.4645037353038788},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4406878650188446},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.433616042137146},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2222042679786682},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.17001110315322876},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11595425009727478},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11450368165969849}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8401680588722229},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.7660278081893921},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5831284523010254},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5704666376113892},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5702983736991882},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5582284331321716},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.5262312889099121},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5221564769744873},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49877405166625977},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.4645037353038788},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4406878650188446},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.433616042137146},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2222042679786682},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.17001110315322876},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11595425009727478},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11450368165969849},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1145/3236762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236762","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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:tubiblio.ulb.tu-darmstadt.de:103807","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3236762","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:124146","is_oa":true,"landing_page_url":"https://tuprints.ulb.tu-darmstadt.de/14556","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:146497","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/146497/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:146546","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/146546/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tudelft.nl:uuid:ddcf4ede-e2b2-453e-99a5-c6a701452f88","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:ddcf4ede-e2b2-453e-99a5-c6a701452f88","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},{"id":"pmh:oai:tuprints.ulb.tu-darmstadt.de:14556","is_oa":true,"landing_page_url":"http://tuprints.ulb.tu-darmstadt.de/view/person/Bra==010Devac=3AOliver=3A=3A.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4306401590","display_name":"Technischen Universit\u00e4t Darmstadt","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/282854","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/282854","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Object"},{"id":"doi:10.17863/cam.30218","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.30218","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.25534/tuprints-00014556","is_oa":true,"landing_page_url":"https://doi.org/10.25534/tuprints-00014556","pdf_url":null,"source":{"id":"https://openalex.org/S7407053004","display_name":"TUdigit","issn_l":null,"issn":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3236762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236762","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/G2178533359","display_name":null,"funder_award_id":"SFB 1053,SA 2918/2-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8577637170","display_name":null,"funder_award_id":"SFB 1053","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2911706275.pdf","grobid_xml":"https://content.openalex.org/works/W2911706275.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W95578667","https://openalex.org/W1551181895","https://openalex.org/W1561433714","https://openalex.org/W1562151294","https://openalex.org/W1571962375","https://openalex.org/W1579145134","https://openalex.org/W1581096042","https://openalex.org/W1587375298","https://openalex.org/W1606211906","https://openalex.org/W1750043039","https://openalex.org/W1750514695","https://openalex.org/W1830421783","https://openalex.org/W1840817124","https://openalex.org/W1924035922","https://openalex.org/W1971752790","https://openalex.org/W1973026225","https://openalex.org/W1997143185","https://openalex.org/W2001343755","https://openalex.org/W2002089154","https://openalex.org/W2004791319","https://openalex.org/W2007397391","https://openalex.org/W2007435074","https://openalex.org/W2010337608","https://openalex.org/W2014021676","https://openalex.org/W2015888335","https://openalex.org/W2027345614","https://openalex.org/W2037984920","https://openalex.org/W2041337116","https://openalex.org/W2049410874","https://openalex.org/W2050942832","https://openalex.org/W2072600586","https://openalex.org/W2073001576","https://openalex.org/W2078019303","https://openalex.org/W2088675571","https://openalex.org/W2096973649","https://openalex.org/W2099395665","https://openalex.org/W2107766104","https://openalex.org/W2113112607","https://openalex.org/W2118314541","https://openalex.org/W2118317839","https://openalex.org/W2129088288","https://openalex.org/W2137282578","https://openalex.org/W2139695229","https://openalex.org/W2140970291","https://openalex.org/W2141576692","https://openalex.org/W2148222209","https://openalex.org/W2148481016","https://openalex.org/W2150423684","https://openalex.org/W2151716725","https://openalex.org/W2153836901","https://openalex.org/W2156972533","https://openalex.org/W2163552400","https://openalex.org/W2168485266","https://openalex.org/W2171022981","https://openalex.org/W2171267342","https://openalex.org/W2181305810","https://openalex.org/W2184230987","https://openalex.org/W2247317079","https://openalex.org/W2278011425","https://openalex.org/W2281310552","https://openalex.org/W2295885203","https://openalex.org/W2295914203","https://openalex.org/W2341329932","https://openalex.org/W2544085948","https://openalex.org/W2561708922","https://openalex.org/W2562640456","https://openalex.org/W2611840193","https://openalex.org/W2737306518","https://openalex.org/W2777452194","https://openalex.org/W2798644064","https://openalex.org/W2912106379","https://openalex.org/W3083511734","https://openalex.org/W3103594074","https://openalex.org/W4244257941","https://openalex.org/W4244329725","https://openalex.org/W4253360640","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2016456293","https://openalex.org/W2161128265","https://openalex.org/W1997896902","https://openalex.org/W2138101384","https://openalex.org/W2140894225","https://openalex.org/W4212828571","https://openalex.org/W2125826941","https://openalex.org/W2056707262","https://openalex.org/W2491916433","https://openalex.org/W2046615742"],"abstract_inverted_index":{"We":[0,30],"present":[1],"the":[2,101,143],"first":[3],"language":[4],"design":[5,120],"to":[6],"uniformly":[7],"express":[8],"variants":[9,65],"of":[10,42,53,100,110,142],"n":[11],"-way":[12],"joins":[13,36,93],"over":[14],"asynchronous":[15,32],"event":[16,24,54,62],"streams":[17],"from":[18],"different":[19],"domains,":[20],"e.g.,":[21],"stream-relational":[22],"algebra,":[23],"processing,":[25],"reactive":[26,33],"and":[27,35,45,60,130,134,146],"concurrent":[28],"programming.":[29],"model":[31],"programs":[34],"in":[37,108,132],"direct":[38],"style,":[39],"on":[40,87],"top":[41],"algebraic":[43],"effects":[44],"handlers.":[46,113],"Effect":[47],"handlers":[48],"act":[49],"as":[50,69],"modular":[51],"interpreters":[52],"notifications,":[55],"enabling":[56],"fine-grained":[57],"control":[58,75],"abstractions":[59],"customizable":[61],"matching.":[63],"Join":[64],"can":[66],"be":[67],"considered":[68],"cartesian":[70,102],"product":[71],"computations":[72],"with":[73],"\u201ddegenerate\u201d":[74],"flow,":[76],"such":[77],"that":[78,117],"unnecessary":[79],"tuples":[80],"are":[81],"not":[82],"materialized":[83],"a":[84,95,125,139],"priori.":[85],"Based":[86],"this":[88,118],"computational":[89],"interpretation,":[90],"we":[91,137],"decompose":[92],"into":[94],"generic,":[96],"naive":[97],"enumeration":[98],"procedure":[99],"product,":[103],"plus":[104],"variant-specific":[105],"extensions,":[106],"represented":[107],"terms":[109],"user-supplied":[111],"effect":[112],"Our":[114],"microbenchmarks":[115],"validate":[116],"extensible":[119],"avoids":[121],"needless":[122],"materialization.":[123],"Alongside":[124],"formal":[126],"semantics":[127],"for":[128],"joining":[129],"prototypes":[131],"Koka":[133],"multicore":[135],"OCaml,":[136],"contribute":[138],"systematic":[140],"comparison":[141],"covered":[144],"domains":[145],"features.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}