Image de couverture de livre

A Relational Solver for Constraint-based Type Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Domoratskiy, Eridan, Boulytchev, Dmitry
Format:	Preprint
Publié:	2024
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

An Empirical Study of Rational Tree Unification for miniKanren
par: Domoratskiy, Eridan, et autres
Publié: (2025)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
par: Bhanuka, Ishan, et autres
Publié: (2024)

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

Information Aware Type Systems and Telescopic Constraint Trees
par: Cowderoy, Philippa
Publié: (2024)

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

Logical Relations for Session-Typed Concurrency
par: Balzer, Stephanie, et autres
Publié: (2023)

Modeling Reachability Types with Logical Relations
par: Bao, Yuyan, et autres
Publié: (2023)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
par: Paul, Abhijit
Publié: (2025)

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

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

Type-Based Verification of Connectivity Constraints in Lattice Surgery
par: Wakizaka, Ryo, et autres
Publié: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
par: Lin, Teyu, et autres
Publié: (2026)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
par: Chen, Yijia, et autres
Publié: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

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

Linear Constraints
par: Spiwack, Arnaud, et autres
Publié: (2026)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
par: Cristiá, Maximiliano, et autres
Publié: (2022)

PolyQEnt: A Polynomial Quantified Entailment Solver
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
par: Liu, Yanhong A., et autres
Publié: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

If-T: A Benchmark for Type Narrowing
par: Guo, Hanwen, et autres
Publié: (2025)

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

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
par: Fages, François
Publié: (2024)

Pantograph: A Fluid and Typed Structure Editor
par: Prinz, Jacob, et autres
Publié: (2024)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, et autres
Publié: (2025)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
par: Singh, Avaljot, et autres
Publié: (2024)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

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

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

A Sound Type System for Secure Currency Flow
par: Aceto, Luca, et autres
Publié: (2024)