Image de couverture de livre

Effect Handlers for Programmable Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nguyen, Minh, Perera, Roly, Wang, Meng, Ramsay, Steven
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Cognacy Queries over Dependence Graphs for Transparent Visualisations
par: Bond, Joseph, et autres
Publié: (2024)

Galois Slicing as Automatic Differentiation
par: Atkey, Robert, et autres
Publié: (2025)

A Calculus for Scoped Effects & Handlers
par: Bosman, Roger, et autres
Publié: (2023)

Programming Backpropagation with Reverse Handlers for Arrows
par: Sanada, Takahiro, et autres
Publié: (2026)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
par: Yu, ZeHao
Publié: (2025)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
par: Endo, Ryunosuke, et autres
Publié: (2025)

Lenses for Partially-Specified States (Extended Version)
par: Matsuda, Kazutaka, et autres
Publié: (2026)

Literate Execution
par: Bond, Joe, et autres
Publié: (2026)

A Complementary Approach to Incorrectness Typing
par: Li, Celia Mengyue, et autres
Publié: (2025)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
par: de Vilhena, Paulo Emílio, et autres
Publié: (2021)

Abstracting Effect Systems for Algebraic Effect Handlers
par: Yoshioka, Takuma, et autres
Publié: (2024)

Towards Cumulative Abstract Semantics via Handlers
par: Lueker, Cade, et autres
Publié: (2025)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

Clean for Haskell Programmers
par: Lubbers, Mart, et autres
Publié: (2024)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
par: Balik, Patrycja, et autres
Publié: (2025)

Probabilistic Inference for Datalog with Correlated Inputs
par: Wang, Jingbo, et autres
Publié: (2025)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

AI-Assisted Authoring for Transparent, Data-Driven Documents
par: Piscitelli, Alfonso, et autres
Publié: (2025)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
par: Wang, Mingxiu, et autres
Publié: (2025)

A Bayesian Approach to Membership Inference for Statistical Release
par: Oakley, Lisa, et autres
Publié: (2026)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
par: Zhang, Dylan, et autres
Publié: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
par: Wang, Peixin, et autres
Publié: (2023)

Automatic Inference of Relational Object Invariants
par: Su, Yusen, et autres
Publié: (2024)

An Execution Model for RICE
par: Libby, Steven
Publié: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

From Code to Career: Assessing Competitive Programmers for Industry Placement
par: Akib, Md Imranur Rahman, et autres
Publié: (2025)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
par: Rein, Patrick, et autres
Publié: (2024)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
par: Xu, Ziyun, et autres
Publié: (2025)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
par: Xu, Ziyun, et autres
Publié: (2026)

Practical Refinement Session Type Inference (Extended Version)
par: Ueno, Toby, et autres
Publié: (2026)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

A Relational Solver for Constraint-based Type Inference
par: Domoratskiy, Eridan, et autres
Publié: (2024)

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

Practical Type-Based Taint Checking and Inference (Extended Version)
par: Karimipour, Nima, et autres
Publié: (2025)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Towards Definitional Interpreters for Hoare Logics
par: Sun, Ke, et autres
Publié: (2026)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
par: Wu, Jinhua, et autres
Publié: (2026)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

Fast Deterministic Black-box Context-free Grammar Inference
par: Arefin, Mohammad Rifat, et autres
Publié: (2023)