{"id":"https://openalex.org/W4403223291","doi":"https://doi.org/10.1145/3689750","title":"Effects and Coeffects in Call-by-Push-Value","display_name":"Effects and Coeffects in Call-by-Push-Value","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403223291","doi":"https://doi.org/10.1145/3689750"},"language":"en","primary_location":{"id":"doi:10.1145/3689750","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689750","pdf_url":null,"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://doi.org/10.1145/3689750","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093321138","display_name":"Cassia Torczon","orcid":"https://orcid.org/0009-0003-6717-9586"},"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":true,"raw_author_name":"Cassia Torczon","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0009-0003-6717-9586","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092964794","display_name":"Emmanuel Su\u00e1rez Acevedo","orcid":"https://orcid.org/0009-0002-5515-6099"},"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":"Emmanuel Su\u00e1rez Acevedo","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0009-0002-5515-6099","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009160102","display_name":"Shubh Agrawal","orcid":"https://orcid.org/0000-0003-2429-5811"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shubh Agrawal","raw_affiliation_strings":["University of Michigan, Ann Arbor, USA"],"raw_orcid":"https://orcid.org/0009-0006-1844-3856","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031593372","display_name":"Joey Velez\u2010Ginorio","orcid":null},"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":"Joey Velez-Ginorio","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0009-0004-6451-5107","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"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/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":"Stephanie Weirich","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0002-6756-9168","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5093321138"],"corresponding_institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"],"apc_list":null,"apc_paid":null,"fwci":0.9797,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.8051883,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"1108","last_page":"1134"},"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.9911999702453613,"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.9911999702453613,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10789","display_name":"Interactive and Immersive Displays","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/value","display_name":"Value (mathematics)","score":0.5256049633026123},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2743132412433624},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.19631093740463257}],"concepts":[{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5256049633026123},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2743132412433624},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.19631093740463257}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689750","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689750","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1145/3689750","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689750","pdf_url":null,"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.5299999713897705,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G8621472606","display_name":null,"funder_award_id":"CCF-2006535, CNS-2244494, CCF-2327738","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W49202426","https://openalex.org/W111511002","https://openalex.org/W1768754909","https://openalex.org/W1971752790","https://openalex.org/W1971906578","https://openalex.org/W2016389769","https://openalex.org/W2022518532","https://openalex.org/W2028012052","https://openalex.org/W2042010295","https://openalex.org/W2046137117","https://openalex.org/W2097061283","https://openalex.org/W2097321941","https://openalex.org/W2097704879","https://openalex.org/W2109375905","https://openalex.org/W2118002698","https://openalex.org/W2137282578","https://openalex.org/W2156876717","https://openalex.org/W2170114248","https://openalex.org/W2515656721","https://openalex.org/W2544085948","https://openalex.org/W2766220735","https://openalex.org/W2798712453","https://openalex.org/W2799182172","https://openalex.org/W2811139380","https://openalex.org/W2887035176","https://openalex.org/W2908128011","https://openalex.org/W2927060693","https://openalex.org/W2963975932","https://openalex.org/W2964755768","https://openalex.org/W2991260502","https://openalex.org/W3015096137","https://openalex.org/W3047163819","https://openalex.org/W3115656330","https://openalex.org/W3117925125","https://openalex.org/W3125045354","https://openalex.org/W3160062581","https://openalex.org/W3184092516","https://openalex.org/W3187876763","https://openalex.org/W3206509784","https://openalex.org/W4206365843","https://openalex.org/W4225138414","https://openalex.org/W4280581646","https://openalex.org/W4386317139","https://openalex.org/W4387667218","https://openalex.org/W4391556103","https://openalex.org/W6949350634"],"related_works":["https://openalex.org/W2049150502","https://openalex.org/W1967500081","https://openalex.org/W2365751862","https://openalex.org/W2172599225","https://openalex.org/W2945191958","https://openalex.org/W4285411252","https://openalex.org/W2176627345","https://openalex.org/W2379531677","https://openalex.org/W2373948225","https://openalex.org/W2365537987"],"abstract_inverted_index":{"Effect":[0],"and":[1,31,52,61,88,119,140],"coeffect":[2,32],"tracking":[3,33],"integrate":[4],"many":[5],"types":[6],"of":[7,29,38,50,137],"compile-time":[8],"analysis,":[9],"such":[10],"as":[11],"cost,":[12],"liveness,":[13],"or":[14],"dataflow,":[15],"directly":[16],"into":[17],"a":[18,41,109],"language\u2019s":[19],"type":[20,36,75],"system.":[21],"In":[22,129],"this":[23],"paper,":[24],"we":[25],"investigate":[26],"the":[27,35,74,79,82,91,94,131,135,164],"addition":[28],"effect":[30],"to":[34,56],"system":[37,76],"call-by-push-value":[39],"(CBPV),":[40],"computational":[42],"model":[43],"useful":[44],"in":[45],"compilation":[46],"for":[47,53,104,116,124],"its":[48,54,99],"isolation":[49],"effects":[51,80],"ability":[55],"cleanly":[57],"express":[58],"both":[59],"call-by-name":[60],"call-by-value":[62],"computations.":[63],"Our":[64,158],"main":[65],"result":[66,102],"is":[67,122],"effect-and-coeffect":[68],"soundness":[69],",":[70],"which":[71],"asserts":[72],"that":[73,81,93,112,121,145],"accurately":[77,89],"bounds":[78],"program":[83,95],"may":[84,96],"trigger":[85],"during":[86],"execution":[87],"tracks":[90],"demands":[92],"make":[97],"on":[98],"environment.":[100],"This":[101],"holds":[103],"two":[105],"different":[106,117],"dynamic":[107],"semantics:":[108],"generic":[110],"one":[111,120],"can":[113],"be":[114],"adapted":[115,123],"coeffects":[118],"reasoning":[125],"about":[126],"resource":[127],"usage.":[128],"particular,":[130],"second":[132],"semantics":[133],"discards":[134],"evaluation":[136],"unused":[138],"values":[139],"pure":[141],"computations":[142,147],"while":[143],"ensuring":[144],"effectful":[146],"are":[148,155],"always":[149],"evaluated,":[150],"even":[151],"if":[152],"their":[153],"results":[154,159],"not":[156],"required.":[157],"have":[160],"been":[161],"mechanized":[162],"using":[163],"Coq":[165],"proof":[166],"assistant.":[167]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2024-10-09T00:00:00"}