{"id":"https://openalex.org/W7119510603","doi":"https://doi.org/10.1145/3776678","title":"Handling Higher-Order Effectful Operations with Judgemental Monadic Laws","display_name":"Handling Higher-Order Effectful Operations with Judgemental Monadic Laws","publication_year":2026,"publication_date":"2026-01-08","ids":{"openalex":"https://openalex.org/W7119510603","doi":"https://doi.org/10.1145/3776678"},"language":"en","primary_location":{"id":"doi:10.1145/3776678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776678","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":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://doi.org/10.1145/3776678","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zhixuan Yang","orcid":"https://orcid.org/0000-0001-5573-3357"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zhixuan Yang","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-5573-3357","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122398104","display_name":"Nicolas Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicolas Wu","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-4161-985X","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04044357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"POPL","first_page":"1036","last_page":"1065"},"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.9453999996185303,"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.9453999996185303,"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.01769999973475933,"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.01209999993443489,"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/realizability","display_name":"Realizability","score":0.7153000235557556},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.6331999897956848},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5299000144004822},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5016000270843506},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4697999954223633},{"id":"https://openalex.org/keywords/natural-deduction","display_name":"Natural deduction","score":0.454800009727478},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43700000643730164},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.4327999949455261},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.382999986410141}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.7153000235557556},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.6331999897956848},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5756999850273132},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5299000144004822},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5016000270843506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4878999888896942},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4697999954223633},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.454800009727478},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.4327999949455261},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.382999986410141},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3815000057220459},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.36469998955726624},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3601999878883362},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.35519999265670776},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33219999074935913},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.32659998536109924},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.2847000062465668},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C6489637","wikidata":"https://www.wikidata.org/wiki/Q7250002","display_name":"Proof calculus","level":3,"score":0.2773999869823456},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2565999925136566},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.2549000084400177}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3776678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776678","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":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/3776678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776678","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":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":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4239823520183563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W16477519","https://openalex.org/W36355091","https://openalex.org/W1499496279","https://openalex.org/W1521014576","https://openalex.org/W1606211906","https://openalex.org/W1765415708","https://openalex.org/W1830421783","https://openalex.org/W1965297988","https://openalex.org/W1971906578","https://openalex.org/W1974190112","https://openalex.org/W1985220128","https://openalex.org/W1989069191","https://openalex.org/W2026028037","https://openalex.org/W2046137117","https://openalex.org/W2048365843","https://openalex.org/W2054969282","https://openalex.org/W2076653850","https://openalex.org/W2129902163","https://openalex.org/W2131916293","https://openalex.org/W2134692477","https://openalex.org/W2149837936","https://openalex.org/W2150276232","https://openalex.org/W2158657245","https://openalex.org/W2158942489","https://openalex.org/W2567568390","https://openalex.org/W2798715557","https://openalex.org/W2949330042","https://openalex.org/W2964029175","https://openalex.org/W3128947121","https://openalex.org/W3160062581","https://openalex.org/W3167950194","https://openalex.org/W3175425481","https://openalex.org/W3194811120","https://openalex.org/W3202721349","https://openalex.org/W4205724670","https://openalex.org/W4206229704","https://openalex.org/W4226245203","https://openalex.org/W4235410435","https://openalex.org/W4248324061","https://openalex.org/W4291668274","https://openalex.org/W4315630755","https://openalex.org/W4386316939","https://openalex.org/W4390604919","https://openalex.org/W4390605452","https://openalex.org/W4391069505","https://openalex.org/W4404635417","https://openalex.org/W4410089372","https://openalex.org/W4412308858","https://openalex.org/W4416156708"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,66,71,77,88,100,104,115],"design":[4,51],"of":[5,10,41,53,87,103,114],"programming":[6],"languages":[7],"with":[8,36,79],"handlers":[9,40,58],"higher-order":[11,42],"effectful":[12,15,43],"operations":[13,16],"\u2013":[14],"that":[17,57],"may":[18],"take":[19],"in":[20],"computations":[21,26],"as":[22,27],"arguments":[23],"or":[24],"return":[25],"output.":[28],"We":[29,75,93],"present":[30,76],"and":[31,45,83,97,110],"analyse":[32],"a":[33,80,111],"core":[34],"calculus":[35,55,78,89],"higher-kinded":[37],"impredicative":[38],"polymorphism,":[39],"operations,":[44],"optionally":[46],"general":[47],"recursion.":[48],"The":[49],"distinctive":[50],"choice":[52],"this":[54],"is":[56],"are":[59],"carried":[60],"by":[61],"lawless":[62],"raw":[63],"monads,":[64],"while":[65],"computation":[67],"judgements":[68],"still":[69],"satisfy":[70],"monadic":[72],"laws":[73],"judgementally.":[74],"logical":[81],"framework":[82],"give":[84],"denotational":[85],"models":[86],"using":[90,106],"realizability":[91],"semantics.":[92],"prove":[94],"closed-term":[95],"canonicity":[96],"parametricity":[98],"for":[99],"recursion-free":[101],"fragment":[102],"language":[105],"synthetic":[107],"Tait":[108],"computability":[109],"novel":[112],"form":[113],"\u22a4\u22a4-lifting":[116],"technique.":[117]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2026-01-09T00:00:00"}