Imagen de Portada

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Zhixuan, Wu, Nicolas
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Handling the Selection Monad (Full Version)
por: Plotkin, Gordon, et al.
Publicado: (2025)

Stone Duality for Monads
por: Garner, Richard, et al.
Publicado: (2026)

Monadic type-and-effect soundness
por: Dagnino, Francesco, et al.
Publicado: (2025)

A Monadic Implementation of Functional Logic Programs
por: Hanus, Michael, et al.
Publicado: (2026)

Higher-Order Asynchronous Effects
por: Ahman, Danel, et al.
Publicado: (2023)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
por: Sakayori, Ken, et al.
Publicado: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
por: Nicola, Mihai, et al.
Publicado: (2024)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
por: Jiang, Yuchen, et al.
Publicado: (2025)

Law and Order for Typestate with Borrowing
por: Saffrich, Hannes, et al.
Publicado: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
por: Chu, Ethan, et al.
Publicado: (2026)

Towards a Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2022)

Scoped Effects as Parameterized Algebraic Theories
por: Matache, Cristina, et al.
Publicado: (2024)

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

HITrees: Higher-Order Interaction Trees
por: Ayyam, Amir Mohammad Fadaei, et al.
Publicado: (2025)

Smart Choices and the Selection Monad
por: Abadi, Martin, et al.
Publicado: (2020)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Monadic Intersection Types, Relationally (Extended Version)
por: Gavazzo, Francesco, et al.
Publicado: (2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
por: Young, David, et al.
Publicado: (2024)

Higher-Order Behavioural Conformances via Fibrations
por: Urbat, Henning
Publicado: (2025)

SSA without Dominance for Higher-Order Programs
por: Leißa, Roland, et al.
Publicado: (2026)

Actegories, Copowers, and Higher-Order Message Passing Semantics
por: Cockett, Robin, et al.
Publicado: (2025)

Soundly Handling Linearity
por: Tang, Wenhao, et al.
Publicado: (2023)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

Strong Dinatural Transformations and Generalised Codensity Monads
por: Piróg, Maciej, et al.
Publicado: (2025)

Handling Scope Checks (Extended Version)
por: Lee, Michael, et al.
Publicado: (2026)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
por: Foo, Darius, et al.
Publicado: (2023)

The Relative Monadic Metalanguage
por: Liell-Cock, Jack, et al.
Publicado: (2025)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
por: He, Siyuan, et al.
Publicado: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
por: Goncharov, Sergey, et al.
Publicado: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2026)

On Higher-Order Reachability Games vs May Reachability
por: Asada, Kazuyuki, et al.
Publicado: (2022)

Modular Probabilistic Models via Algebraic Effects
por: Nguyen, Minh, et al.
Publicado: (2022)

Getting a Handle on Unmanaged Memory
por: Wanninger, Nick, et al.
Publicado: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
por: Chirica, Ion, et al.
Publicado: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)