{"id":"https://openalex.org/W2515656721","doi":"https://doi.org/10.1145/2951913.2951939","title":"Combining effects and coeffects via grading","display_name":"Combining effects and coeffects via grading","publication_year":2016,"publication_date":"2016-08-29","ids":{"openalex":"https://openalex.org/W2515656721","doi":"https://doi.org/10.1145/2951913.2951939","mag":"2515656721"},"language":"en","primary_location":{"id":"doi:10.1145/2951913.2951939","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951939","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.repository.cam.ac.uk/handle/1810/256824","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marco Gaboardi","orcid":null},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marco Gaboardi","raw_affiliation_strings":["SUNY Buffalo, USA"],"affiliations":[{"raw_affiliation_string":"SUNY Buffalo, USA","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041431787","display_name":"Shin-ya Katsumata","orcid":"https://orcid.org/0000-0001-7529-5489"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shin-ya Katsumata","raw_affiliation_strings":["Kyoto University, Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto University, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064585229","display_name":"Dominic Orchard","orcid":"https://orcid.org/0000-0002-7058-7842"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]},{"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":"Dominic Orchard","raw_affiliation_strings":["University of Cambridge, UK / University of Kent, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK / University of Kent, UK","institution_ids":["https://openalex.org/I20581793","https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004140160","display_name":"Flavien Breuvart","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Flavien Breuvart","raw_affiliation_strings":["Inria, France"],"affiliations":[{"raw_affiliation_string":"Inria, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074922343","display_name":"Tarmo Uustalu","orcid":"https://orcid.org/0000-0002-1297-0579"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Tarmo Uustalu","raw_affiliation_strings":["Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"],"apc_list":null,"apc_paid":null,"fwci":2.6503,"has_fulltext":true,"cited_by_count":63,"citation_normalized_percentile":{"value":0.92120182,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"476","last_page":"489"},"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/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6989215612411499},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5576728582382202},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5501644015312195},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49919748306274414},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4794405996799469},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.4278255105018616},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4272814393043518},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32649433612823486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19259867072105408},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10261660814285278}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6989215612411499},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5576728582382202},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5501644015312195},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49919748306274414},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4794405996799469},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.4278255105018616},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4272814393043518},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32649433612823486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19259867072105408},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10261660814285278},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2951913.2951939","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951939","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:57480","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951939>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/256824","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/256824","pdf_url":"https://www.repository.cam.ac.uk/handle/1810/256824","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.17863/cam.758","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.758","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:www.repository.cam.ac.uk:1810/256824","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/256824","pdf_url":"https://www.repository.cam.ac.uk/handle/1810/256824","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.4699999988079071,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G2246586474","display_name":"CamFort: Automated evolution and verification of computational science models","funder_award_id":"EP/M026124/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2725184853","display_name":"Conversation-Based Governance for Distributed Systems by Multiparty Session Types","funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3182423161","display_name":"PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference","funder_award_id":"EP/M022358/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3726137570","display_name":"Mathematical Structures for Effect Systems","funder_award_id":"15K00014","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G519157391","display_name":null,"funder_award_id":"EP/M026124/1, EP/K011715/1, EP/M022358/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G556591498","display_name":null,"funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6138180370","display_name":null,"funder_award_id":"EP/M026124/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7570385945","display_name":null,"funder_award_id":"JP15K00014","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320310838","display_name":"University of Dundee","ror":"https://ror.org/03h2bxq36"},{"id":"https://openalex.org/F4320320283","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2515656721.pdf","grobid_xml":"https://content.openalex.org/works/W2515656721.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W15833160","https://openalex.org/W111511002","https://openalex.org/W1508489761","https://openalex.org/W1553894716","https://openalex.org/W1560529447","https://openalex.org/W1606211906","https://openalex.org/W1815928176","https://openalex.org/W1822313387","https://openalex.org/W1830196027","https://openalex.org/W1830421783","https://openalex.org/W1971256104","https://openalex.org/W1980476455","https://openalex.org/W1990204174","https://openalex.org/W1997143185","https://openalex.org/W2005192022","https://openalex.org/W2007738069","https://openalex.org/W2017381819","https://openalex.org/W2022518532","https://openalex.org/W2027193703","https://openalex.org/W2037984920","https://openalex.org/W2042010295","https://openalex.org/W2046137117","https://openalex.org/W2048921878","https://openalex.org/W2067012475","https://openalex.org/W2084804301","https://openalex.org/W2089549471","https://openalex.org/W2095867533","https://openalex.org/W2097321941","https://openalex.org/W2114991657","https://openalex.org/W2118002698","https://openalex.org/W2118671630","https://openalex.org/W2125249767","https://openalex.org/W2137282578","https://openalex.org/W2154521708","https://openalex.org/W2156876717","https://openalex.org/W2161680318","https://openalex.org/W2166049140","https://openalex.org/W2255874857","https://openalex.org/W2259919125","https://openalex.org/W2267766518","https://openalex.org/W2293797630","https://openalex.org/W2314990538","https://openalex.org/W2317533925","https://openalex.org/W2339107952","https://openalex.org/W2490708582","https://openalex.org/W2502478805","https://openalex.org/W2911865844","https://openalex.org/W3022433793","https://openalex.org/W3038013766","https://openalex.org/W3039948875","https://openalex.org/W3125045354","https://openalex.org/W4298195558","https://openalex.org/W6630346915","https://openalex.org/W6638744874","https://openalex.org/W6691886502","https://openalex.org/W6704358467","https://openalex.org/W6722155300","https://openalex.org/W6737217857","https://openalex.org/W6779982667"],"related_works":["https://openalex.org/W2382957647","https://openalex.org/W2094667621","https://openalex.org/W1509295490","https://openalex.org/W3013987451","https://openalex.org/W2962878999","https://openalex.org/W4206240906","https://openalex.org/W1968830388","https://openalex.org/W4319310753","https://openalex.org/W2520370770","https://openalex.org/W4251748586"],"abstract_inverted_index":{"Effects":[0,106],"and":[1,38,50,65,79,100,107,123,153,169,186,235],"coeffects":[2,108],"are":[3,120],"two":[4],"general,":[5],"complementary":[6],"aspects":[7],"of":[8,48,59,94,172,183,197,230],"program":[9,61,157,234],"behaviour.":[10],"They":[11],"roughly":[12],"correspond":[13],"to":[14,221],"computations":[15,23,119],"which":[16,24],"change":[17],"the":[18,28,151,194,205,210],"execution":[19],"context":[20,29],"(effects)":[21],"versus":[22],"make":[25],"demands":[26],"on":[27,159],"(coeffects).":[30],"Effectful":[31],"features":[32,41,171],"include":[33,42],"partiality,":[34],"non-determinism,":[35],"input-output,":[36],"state,":[37],"exceptions.":[39],"Coeffectful":[40],"resource":[43,131],"demands,":[44],"variable":[45],"access,":[46],"notions":[47],"linearity,":[49],"data":[51],"input":[52],"requirements.":[53,132],"The":[54,174],"effectful":[55,122,168],"or":[56],"coeffectful":[57,170],"behaviour":[58],"a":[60,138,143,156,178,224,233],"can":[62,148,218],"be":[63,219],"captured":[64],"described":[66],"via":[67,193],"type-based":[68],"analyses,":[69],"with":[70,130,142,209],"fine":[71],"grained":[72],"information":[73],"provided":[74],"by":[75],"monoidal":[76],"effect":[77],"annotations":[78],"semiring":[80],"coeffects.":[81,105],"Various":[82],"recent":[83],"work":[84],"has":[85,158,177],"proposed":[86],"models":[87],"for":[88,98,104],"such":[89],"typed":[90],"calculi":[91],"in":[92,116,181,223],"terms":[93,182],"graded":[95,101,198,202],"(strong)":[96],"monads":[97,185],"effects":[99],"(monoidal)":[102],"comonads":[103,188],"have":[109],"been":[110],"studied":[111],"separately":[112],"so":[113],"far,":[114],"but":[115,129],"practice":[117],"many":[118],"both":[121,150],"coeffectful,":[124],"e.g.,":[125],"possibly":[126],"throwing":[127],"exceptions":[128],"To":[133],"remedy":[134],"this,":[135],"we":[136],"introduce":[137],"new":[139],"general":[140],"calculus":[141,217],"combined":[144],"effect-coeffect":[145,175],"system.":[146],"This":[147,201],"describe":[149,222],"changes":[152],"requirements":[154],"that":[155,215],"its":[160,236],"context,":[161],"as":[162,164],"well":[163],"interactions":[165],"between":[166,232],"these":[167],"computation.":[173],"system":[176],"denotational":[179,211],"model":[180],"effect-graded":[184],"coeffect-graded":[187],"where":[189],"interaction":[190,231],"is":[191],"expressed":[192],"novel":[195],"concept":[196],"distributive":[199],"laws.":[200],"semantics":[203],"unifies":[204],"syntactic":[206],"type":[207],"theory":[208],"model.":[212],"We":[213],"show":[214],"our":[216],"instantiated":[220],"natural":[225],"way":[226],"various":[227],"different":[228],"kinds":[229],"evaluation":[237],"context.":[238]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":19},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}