{"id":"https://openalex.org/W2886571871","doi":"https://doi.org/10.1145/3236783","title":"Strict and lazy semantics for effects: layering monads and comonads","display_name":"Strict and lazy semantics for effects: layering monads and comonads","publication_year":2018,"publication_date":"2018-07-30","ids":{"openalex":"https://openalex.org/W2886571871","doi":"https://doi.org/10.1145/3236783","mag":"2886571871"},"language":"en","primary_location":{"id":"doi:10.1145/3236783","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236783","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236783","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":null,"license_id":null,"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/3236783","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015733309","display_name":"Andrew K. Hirsch","orcid":"https://orcid.org/0000-0003-2518-614X"},"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":false,"raw_author_name":"Andrew K. Hirsch","raw_affiliation_strings":["Cornell University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","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":false,"raw_author_name":"Ross Tate","raw_affiliation_strings":["Cornell University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08835584,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"2","issue":"ICFP","first_page":"1","last_page":"30"},"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.9943000078201294,"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.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.8766928911209106},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.826751172542572},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6628282070159912},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.6313936710357666},{"id":"https://openalex.org/keywords/laziness","display_name":"Laziness","score":0.5643322467803955},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49217405915260315},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3845663070678711},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3738780617713928},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32863420248031616},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24248826503753662},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19842690229415894},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.15165111422538757},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.077599436044693},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.05781489610671997}],"concepts":[{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.8766928911209106},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.826751172542572},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6628282070159912},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.6313936710357666},{"id":"https://openalex.org/C2776447739","wikidata":"https://www.wikidata.org/wiki/Q484","display_name":"Laziness","level":2,"score":0.5643322467803955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49217405915260315},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3845663070678711},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3738780617713928},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32863420248031616},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24248826503753662},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19842690229415894},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.15165111422538757},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.077599436044693},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.05781489610671997}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236783","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236783","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236783","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":null,"license_id":null,"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/3236783","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236783","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236783","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":null,"license_id":null,"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":[{"display_name":"Peace, Justice and strong institutions","score":0.8100000023841858,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2886571871.pdf","grobid_xml":"https://content.openalex.org/works/W2886571871.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W49202426","https://openalex.org/W111511002","https://openalex.org/W136934826","https://openalex.org/W639076399","https://openalex.org/W646836675","https://openalex.org/W1579463431","https://openalex.org/W1625481196","https://openalex.org/W1629813767","https://openalex.org/W1822313387","https://openalex.org/W1830196027","https://openalex.org/W1968357837","https://openalex.org/W1980476455","https://openalex.org/W1980827618","https://openalex.org/W1985185257","https://openalex.org/W1986053257","https://openalex.org/W1995338553","https://openalex.org/W1998873876","https://openalex.org/W2004063149","https://openalex.org/W2008920425","https://openalex.org/W2010113673","https://openalex.org/W2010649834","https://openalex.org/W2016326123","https://openalex.org/W2022518532","https://openalex.org/W2030663607","https://openalex.org/W2039977878","https://openalex.org/W2046137117","https://openalex.org/W2053198071","https://openalex.org/W2053867970","https://openalex.org/W2070324762","https://openalex.org/W2078944436","https://openalex.org/W2086727636","https://openalex.org/W2088735483","https://openalex.org/W2089549471","https://openalex.org/W2090746009","https://openalex.org/W2102459565","https://openalex.org/W2111795230","https://openalex.org/W2114991657","https://openalex.org/W2118671630","https://openalex.org/W2123733847","https://openalex.org/W2128932399","https://openalex.org/W2133356891","https://openalex.org/W2137282578","https://openalex.org/W2153557668","https://openalex.org/W2156876717","https://openalex.org/W2162298406","https://openalex.org/W2164691248","https://openalex.org/W2166049140","https://openalex.org/W2179621677","https://openalex.org/W2267766518","https://openalex.org/W2515656721","https://openalex.org/W2911865844","https://openalex.org/W3038013766","https://openalex.org/W4230454922","https://openalex.org/W4238292764","https://openalex.org/W4285719527","https://openalex.org/W6679403754"],"related_works":["https://openalex.org/W2138773009","https://openalex.org/W2904778759","https://openalex.org/W4287705132","https://openalex.org/W2078516608","https://openalex.org/W2127005761","https://openalex.org/W3043991061","https://openalex.org/W2101438978","https://openalex.org/W4280526364","https://openalex.org/W2964942624","https://openalex.org/W2057843304"],"abstract_inverted_index":{"Two":[0],"particularly":[1],"important":[2],"classes":[3],"of":[4,31,54,74,94,97,117,131],"effects":[5,32,75,98],"are":[6,33],"those":[7,17],"that":[8,18,40,50,76,88,99],"can":[9,19],"be":[10,20,79,101],"given":[11,21,35,80,102],"semantics":[12,22,36,81,103],"using":[13,23,37,104],"a":[14,24,38,43,55,58,61,95,105],"monad":[15,56],"and":[16,57,119],"comonad.":[25],"Currently,":[26],"programs":[27],"with":[28],"both":[29],"kinds":[30],"usually":[34],"technique":[39],"relies":[41],"on":[42],"distributive":[44,62,106],"law.":[45,107],"While":[46],"it":[47,64],"is":[48,111],"known":[49],"not":[51,78],"every":[52],"pair":[53,96],"comonad":[59],"has":[60],"law,":[63],"was":[65],"previously":[66],"unknown":[67],"if":[68],"there":[69],"were":[70],"any":[71],"realistic":[72],"pairs":[73],"could":[77],"in":[82],"this":[83,126],"manner.":[84],"This":[85],"paper":[86],"answers":[87],"question":[89],"by":[90],"giving":[91],"an":[92],"example":[93,109],"cannot":[100],"Our":[108],"furthermore":[110],"intimately":[112],"tied":[113],"to":[114,124],"the":[115,129],"duality":[116,127],"strictness":[118],"laziness.":[120],"We":[121],"discuss":[122],"how":[123],"view":[125],"through":[128],"lens":[130],"effects.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}