Imagen de Portada

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	He, Siyuan, Jia, Songlin, Bao, Yuyan, Rompf, Tiark
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
por: Jia, Songlin, et al.
Publicado: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

Modeling Reachability Types with Logical Relations
por: Bao, Yuyan, et al.
Publicado: (2023)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
por: He, Siyuan, et al.
Publicado: (2026)

Typestate via Revocable Capabilities
por: Jia, Songlin, et al.
Publicado: (2025)

On Higher-Order Reachability Games vs May Reachability
por: Asada, Kazuyuki, et al.
Publicado: (2022)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

HITrees: Higher-Order Interaction Trees
por: Ayyam, Amir Mohammad Fadaei, et al.
Publicado: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Higher-Order Behavioural Conformances via Fibrations
por: Urbat, Henning
Publicado: (2025)

SSA without Dominance for Higher-Order Programs
por: Leißa, Roland, et al.
Publicado: (2026)

Towards Definitional Interpreters for Hoare Logics
por: Sun, Ke, et al.
Publicado: (2026)

Actegories, Copowers, and Higher-Order Message Passing Semantics
por: Cockett, Robin, et al.
Publicado: (2025)

Incremental Bidirectional Typing via Order Maintenance
por: Porter, Thomas J., et al.
Publicado: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
por: Yang, Zhixuan, et al.
Publicado: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
por: Nicola, Mihai, et al.
Publicado: (2024)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
por: Beyer, Dirk, et al.
Publicado: (2025)

Higher-Order Asynchronous Effects
por: Ahman, Danel, et al.
Publicado: (2023)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
por: Young, David, et al.
Publicado: (2024)

TypeDis: A Type System for Disentanglement
por: Moine, Alexandre, et al.
Publicado: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
por: Foo, Darius, et al.
Publicado: (2023)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
por: Sotoudeh, Matthew
Publicado: (2025)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
por: Muravev, Ilia
Publicado: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
por: Goncharov, Sergey, et al.
Publicado: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

Reversible Lifetime Semantics for Quantum Programs
por: Faro, Simone, et al.
Publicado: (2026)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2026)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
por: Chen, Zhibo, et al.
Publicado: (2023)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
por: Zhang, Qirun
Publicado: (2024)

A Sound Type System for Secure Currency Flow
por: Aceto, Luca, et al.
Publicado: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
por: Chirica, Ion, et al.
Publicado: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

The Design Principles of the Elixir Type System
por: Castagna, Giuseppe, et al.
Publicado: (2023)

Behavioural Types for Heterogeneous Systems (Position Paper)
por: Fowler, Simon, et al.
Publicado: (2024)