{"id":"https://openalex.org/W4399851350","doi":"https://doi.org/10.1145/3656434","title":"Stream Types","display_name":"Stream Types","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851350","doi":"https://doi.org/10.1145/3656434"},"language":"en","primary_location":{"id":"doi:10.1145/3656434","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656434","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656434","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"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3656434","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071383842","display_name":"Joseph W. Cutler","orcid":"https://orcid.org/0000-0001-9399-9308"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph W. Cutler","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0001-9399-9308","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007315898","display_name":"Christopher Watson","orcid":"https://orcid.org/0000-0003-3716-516X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher Watson","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0003-3716-516X","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099292353","display_name":"Emeka Nkurumeh","orcid":"https://orcid.org/0009-0003-4124-8598"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emeka Nkurumeh","raw_affiliation_strings":["California Institute of Technology, Pasadena, USA"],"raw_orcid":"https://orcid.org/0009-0003-4124-8598","affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034265332","display_name":"Phillip Hilliard","orcid":"https://orcid.org/0009-0009-0599-9224"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip Hilliard","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0009-0009-0599-9224","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079995663","display_name":"Harrison Goldstein","orcid":"https://orcid.org/0000-0001-9631-1169"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Harrison Goldstein","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0001-9631-1169","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019472033","display_name":"Caleb Stanford","orcid":"https://orcid.org/0000-0002-8428-7736"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Caleb Stanford","raw_affiliation_strings":["University of California at Davis, Davis, USA"],"raw_orcid":"https://orcid.org/0000-0002-8428-7736","affiliations":[{"raw_affiliation_string":"University of California at Davis, Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085361253","display_name":"Benjamin C. Pierce","orcid":"https://orcid.org/0000-0001-7839-1636"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin C. Pierce","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0001-7839-1636","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5126,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82231017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":"PLDI","first_page":"1412","last_page":"1436"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9965000152587891,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9965000152587891,"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.9850000143051147,"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.9842000007629395,"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/environmental-science","display_name":"Environmental science","score":0.3154257535934448}],"concepts":[{"id":"https://openalex.org/C39432304","wikidata":"https://www.wikidata.org/wiki/Q188847","display_name":"Environmental science","level":0,"score":0.3154257535934448}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3656434","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656434","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656434","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:escholarship.org:ark:/13030/qt5vc9b786","is_oa":true,"landing_page_url":"https://escholarship.org/uc/item/5vc9b786","pdf_url":"https://escholarship.org/content/qt5vc9b786/qt5vc9b786.pdf","source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, vol 8, iss PLDI","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3656434","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656434","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656434","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":[{"score":0.49000000953674316,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G2090296422","display_name":"SHF: Small: Random Testing for Language Design","funder_award_id":"1421243","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4234623774","display_name":"CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data","funder_award_id":"1763514","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7386241089","display_name":"III: Small: Promoting Reuse and Retargeting in Data Science","funder_award_id":"1910108","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8021836077","display_name":"SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning","funder_award_id":"2331783","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":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399851350.pdf"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W1529497146","https://openalex.org/W1556837122","https://openalex.org/W1568107351","https://openalex.org/W1568192366","https://openalex.org/W1976821017","https://openalex.org/W2005082107","https://openalex.org/W2008132476","https://openalex.org/W2010337608","https://openalex.org/W2010801412","https://openalex.org/W2023808162","https://openalex.org/W2040105559","https://openalex.org/W2043055611","https://openalex.org/W2074070037","https://openalex.org/W2075994573","https://openalex.org/W2076928733","https://openalex.org/W2079512738","https://openalex.org/W2081938726","https://openalex.org/W2091158003","https://openalex.org/W2099395665","https://openalex.org/W2104255209","https://openalex.org/W2113012730","https://openalex.org/W2118314541","https://openalex.org/W2130210899","https://openalex.org/W2135216003","https://openalex.org/W2135499008","https://openalex.org/W2137628566","https://openalex.org/W2139695229","https://openalex.org/W2148222209","https://openalex.org/W2149576945","https://openalex.org/W2156429182","https://openalex.org/W2157022252","https://openalex.org/W2157821258","https://openalex.org/W2162492115","https://openalex.org/W2166822586","https://openalex.org/W2276009245","https://openalex.org/W2295020882","https://openalex.org/W2340222647","https://openalex.org/W2566979091","https://openalex.org/W2753910905","https://openalex.org/W2903712233","https://openalex.org/W2954213583","https://openalex.org/W2955965928","https://openalex.org/W2961558634","https://openalex.org/W2965861115","https://openalex.org/W3017159537","https://openalex.org/W3098007364","https://openalex.org/W3100469037","https://openalex.org/W3109947077","https://openalex.org/W3110413276","https://openalex.org/W3115037346","https://openalex.org/W3159412779","https://openalex.org/W3210466936","https://openalex.org/W3214551138","https://openalex.org/W4214857164","https://openalex.org/W4220981905","https://openalex.org/W4226090351","https://openalex.org/W4229968863","https://openalex.org/W4232306982","https://openalex.org/W4233126987","https://openalex.org/W4307731851","https://openalex.org/W4307888172","https://openalex.org/W4386321895","https://openalex.org/W4399851350","https://openalex.org/W6758810558","https://openalex.org/W7061959147"],"related_works":["https://openalex.org/W3007404728","https://openalex.org/W2374021052","https://openalex.org/W2110536732","https://openalex.org/W3117958761","https://openalex.org/W1984740135","https://openalex.org/W1984514811","https://openalex.org/W4280521631","https://openalex.org/W2094967319","https://openalex.org/W4206359692","https://openalex.org/W3206420609"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,22,76,89,107,152,159],"rich":[3,144],"foundational":[4],"theory":[5],"of":[6,21,32,45,81,91,114,117,146,154],"typed":[7,84],"data":[8],"streams":[9,85,123],"and":[10,55,73,98,125],"stream":[11,23,51,63],"transformers,":[12],"motivated":[13],"by":[14,142],"two":[15],"high-level":[16,161],"goals.":[17],"First,":[18],"the":[19,41,46,115,138,143],"type":[20],"should":[24,39],"be":[25],"able":[26],"to":[27,48,120,129],"express":[28],"complex":[29],"sequential":[30,69],"patterns":[31],"events":[33],"over":[34,83],"time.":[35],"And":[36],"second,":[37],"it":[38],"describe":[40],"internal":[42],"parallel":[43,54,71,99],"structure":[44],"stream,":[47],"support":[49],"deterministic":[50],"processing":[52],"on":[53,165],"distributed":[56],"systems.":[57],"To":[58,136],"these":[59],"ends,":[60],"we":[61,150],"introduce":[62],"types":[64,145],",":[65,149],"with":[66,110,122],"operators":[67],"capturing":[68],"composition,":[70,72],"iteration,":[74],"plus":[75],"core":[77],"calculus":[78],"\u03bb":[79,104,147,166],"ST":[80,105,148,167],"transformers":[82],"that":[86],"naturally":[87],"supports":[88],"number":[90,153],"common":[92],"streaming":[93],"idioms,":[94],"including":[95],"punctuation,":[96],"windowing,":[97],"partitioning,":[100],"as":[101],"first-class":[102],"constructions.":[103],"exploits":[106],"Curry-Howardlike":[108],"correspondence":[109],"an":[111,131],"ordered":[112],"variant":[113],"Logic":[116],"Bunched":[118],"Implication":[119],"program":[121],"compositionally":[124],"uses":[126],"Brzozowski-style":[127],"derivatives":[128],"enable":[130],"incremental,":[132],"prefix-based":[133],"operational":[134],"semantics.":[135],"illustrate":[137],"programming":[139],"style":[140],"supported":[141],"present":[151],"examples":[155],"written":[156],"in":[157],"Delta,":[158],"prototype":[160],"language":[162],"design":[163],"based":[164],".":[168]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2024-06-21T00:00:00"}