Image de couverture de livre

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Balik, Patrycja, Jędras, Szymon, Polesiuk, Piotr
Format:	Preprint
Publié:	2025
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

Remarks on Algebraic Reconstruction of Types and Effects
par: Balik, Patrycja, et autres
Publié: (2026)

Semantically Separating Nominal Wyvern for Usability and Decidability
par: Zhu, Yu Xiang, et autres
Publié: (2025)

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

Deciding Serializability in Network Systems
par: Amir, Guy, et autres
Publié: (2026)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
par: Engel, Daniel, et autres
Publié: (2026)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
par: Kobayashi, Naoki
Publié: (2024)

On the Decidability of Verification under Release/Acquire
par: Conrado, Giovanna Kobus, et autres
Publié: (2026)

Decidable By Construction: Design-Time Verification for Trustworthy AI
par: Haynes, Houston
Publié: (2026)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
par: Czerwiński, Wojciech, et autres
Publié: (2022)

Signature Restriction for Polymorphic Algebraic Effects
par: Sekiyama, Taro, et autres
Publié: (2020)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
par: Daviaud, Laure, et autres
Publié: (2023)

PVASS Reachability is Decidable
par: Guttenberg, Roland, et autres
Publié: (2025)

Decidable problems in substitution shifts
par: Béal, Marie-Pierre, et autres
Publié: (2021)

Decidability Problems for Micro-Stipula
par: Delzanno, Giorgio, et autres
Publié: (2025)

Deciding Subtyping for Asynchronous Multiparty Sessions
par: Li, Elaine, et autres
Publié: (2024)

On Decidability and Expressive Power of Fusion Grammars
par: Pshenitsyn, Tikhon
Publié: (2023)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2025)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
par: McCann, Alan L.
Publié: (2026)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
par: Ren, Silei, et autres
Publié: (2025)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
par: Prinz, Thomas M., et autres
Publié: (2026)

Deciding Conjugacy of a Rational Relation
par: Aiswarya, C., et autres
Publié: (2023)

Deciding DFA-Primality is NP-Hard
par: Spenner, Daniel Alexander
Publié: (2026)

On Decidability Timed Automata with 2 Parametric Clocks
par: Bersani, Marcello M., et autres
Publié: (2025)

Large Language Models Decide Early and Explain Later
par: Datta, Ayan, et autres
Publié: (2026)

New Insights into the Decidability of Opacity in Timed Automata
par: Deng, Weilin, et autres
Publié: (2025)

Decidability and Characterization of Expansivity for Group Cellular Automata
par: Castronuovo, Niccolo', et autres
Publié: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
par: Almagor, Shaull, et autres
Publié: (2025)

General Decidability Results for Systems with Continuous Counters
par: Balasubramanian, A. R., et autres
Publié: (2025)

Characterization and Decidability of FC-Definable Regular Languages
par: Thompson, Sam M., et autres
Publié: (2025)

Negated String Containment is Decidable (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2025)

Efficient, Portable, Census-Polymorphic Choreographic Programming
par: Bates, Mako, et autres
Publié: (2024)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
par: Roop, Partha, et autres
Publié: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
par: Finkel, Alain, et autres
Publié: (2017)

Example-Based Reasoning about the Realizability of Polymorphic Programs
par: Mulleners, Niek, et autres
Publié: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)

Effect Handlers for Programmable Inference
par: Nguyen, Minh, et autres
Publié: (2023)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
par: Samuelson, Ashley, et autres
Publié: (2025)

Reason2Decide: Rationale-Driven Multi-Task Learning
par: Hasan, H M Quamran, et autres
Publié: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
par: Bizière, Clotilde, et autres
Publié: (2024)