Image de couverture de livre

Incremental Bidirectional Typing via Order Maintenance

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Porter, Thomas J., Kirisame, Marisa, Wei, Ivan, Panchekha, Pavel, Omar, Cyrus
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

Incremental Live Programming via Shortcut Memoization
par: Kirisame, Marisa, et autres
Publié: (2026)

Spineless Traversal for Layout Invalidation
par: Kirisame, Marisa, et autres
Publié: (2024)

Accurate Residues for Floating-Point Debugging
par: He, Yumeng, et autres
Publié: (2026)

Syntactic Completions with Material Obligations
par: Moon, David, et autres
Publié: (2025)

Numerical Superoptimization for Library Learning
par: Regehr, Jonas, et autres
Publié: (2026)

Semantics for 2D Rasterization
par: Kulkarni, Bhargav, et autres
Publié: (2026)

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

Target-Aware Implementation of Real Expressions
par: Saiki, Brett, et autres
Publié: (2024)

Statically Contextualizing Large Language Models with Typed Holes
par: Blinn, Andrew, et autres
Publié: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

Practical Algebraic Stepping with Scoped Filters
par: Fei, Haoxiang, et autres
Publié: (2026)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

Incremental Computation: What Is the Essence?
par: Liu, Yanhong A.
Publié: (2023)

Incremental units-of-measure verification
par: Danish, Matthew, et autres
Publié: (2024)

Towards Quantum Multiparty Session Types
par: Lanese, Ivan, et autres
Publié: (2024)

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

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
par: Zhong, Zhiyao, et autres
Publié: (2025)

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

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

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

Easing Maintenance of Academic Static Analyzers
par: Monat, Raphaël, et autres
Publié: (2024)

Incremental Proof Development in Dafny with Module-Based Induction
par: Ho, Son, et autres
Publié: (2024)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

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

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

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2026)

Operon: Incremental Construction of Ragged Data via Named Dimensions
par: Moon, Sungbin, et autres
Publié: (2025)

Type Universes as Allocation Effects
par: Koronkevich, Paulette, et autres
Publié: (2024)

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

Dependent-Type-Preserving Memory Allocation
par: Koronkevich, Paulette, et autres
Publié: (2025)

Typing Requirement Model as Coroutines
par: Gu, Qiqi, et autres
Publié: (2024)

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

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
par: Xia, Li-yao, et autres
Publié: (2024)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
par: He, Siyuan, et autres
Publié: (2026)

Quantum Simulation Programming via Typing
par: Li, Liyi, et autres
Publié: (2025)

Static Type Checking for Database Access Code
par: Kirz, Thomas James, et autres
Publié: (2026)

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

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

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