:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Zhixuan, Wu, Nicolas
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2511.05739
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Handling the Selection Monad (Full Version)
par: Plotkin, Gordon, et autres
Publié: (2025)

Stone Duality for Monads
par: Garner, Richard, et autres
Publié: (2026)

Monadic type-and-effect soundness
par: Dagnino, Francesco, et autres
Publié: (2025)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Higher-Order Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2023)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Scoped Effects as Parameterized Algebraic Theories
par: Matache, Cristina, et autres
Publié: (2024)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
par: Sakayori, Ken, et autres
Publié: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
par: Nicola, Mihai, et autres
Publié: (2024)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
par: Jiang, Yuchen, et autres
Publié: (2025)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

Smart Choices and the Selection Monad
par: Abadi, Martin, et autres
Publié: (2020)

Law and Order for Typestate with Borrowing
par: Saffrich, Hannes, et autres
Publié: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
par: Chu, Ethan, et autres
Publié: (2026)

Monadic Intersection Types, Relationally (Extended Version)
par: Gavazzo, Francesco, et autres
Publié: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
par: Huot, Mathieu, et autres
Publié: (2021)

Composable Effect Handling for Programming LLM-integrated Scripts
par: Wang, Di
Publié: (2025)

HITrees: Higher-Order Interaction Trees
par: Ayyam, Amir Mohammad Fadaei, et autres
Publié: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

Higher-Order Behavioural Conformances via Fibrations
par: Urbat, Henning
Publié: (2025)

SSA without Dominance for Higher-Order Programs
par: Leißa, Roland, et autres
Publié: (2026)

The Relative Monadic Metalanguage
par: Liell-Cock, Jack, et autres
Publié: (2025)

Strong Dinatural Transformations and Generalised Codensity Monads
par: Piróg, Maciej, et autres
Publié: (2025)

Soundly Handling Linearity
par: Tang, Wenhao, et autres
Publié: (2023)

Actegories, Copowers, and Higher-Order Message Passing Semantics
par: Cockett, Robin, et autres
Publié: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
par: Estep, Sam
Publié: (2024)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
par: Ciccalè, Marco, et autres
Publié: (2025)

Handling Scope Checks (Extended Version)
par: Lee, Michael, et autres
Publié: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
par: Foo, Darius, et autres
Publié: (2023)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
par: He, Siyuan, et autres
Publié: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
par: Goncharov, Sergey, et autres
Publié: (2026)

On Higher-Order Reachability Games vs May Reachability
par: Asada, Kazuyuki, et autres
Publié: (2022)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
par: Xu, Han, et autres
Publié: (2026)

Getting a Handle on Unmanaged Memory
par: Wanninger, Nick, et autres
Publié: (2024)

The Power of Negation in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2025)

Modular Probabilistic Models via Algebraic Effects
par: Nguyen, Minh, et autres
Publié: (2022)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
par: Chirica, Ion, et autres
Publié: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
par: Haselwarter, Philipp G., et autres
Publié: (2024)