Copertina

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jia, Songlin, Wei, Guannan, He, Siyuan, Bao, Yuyan, Rompf, Tiark
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
di: He, Siyuan, et al.
Pubblicazione: (2025)

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

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

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

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

Typestate via Revocable Capabilities
di: Jia, Songlin, et al.
Pubblicazione: (2025)

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

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
di: Devriese, Dominique, et al.
Pubblicazione: (2020)

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

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

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

Typing Composable Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2023)

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

Local Type Inference for Context-Free Session Types
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)

Stream Types
di: Cutler, Joseph W., et al.
Pubblicazione: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
di: Li, Senxi, et al.
Pubblicazione: (2026)

Typing Requirement Model as Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2024)

Typing Composite Subjects
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

Gradual Sensitivity Typing
di: Arquez, Damian, et al.
Pubblicazione: (2023)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
di: Xia, Li-yao, et al.
Pubblicazione: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
di: Lybech, Stian, et al.
Pubblicazione: (2025)

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

Type Universes as Allocation Effects
di: Koronkevich, Paulette, et al.
Pubblicazione: (2024)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

Contextual Metaprogramming for Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)

Navigating the Python Type Jungle
di: Nacu, Andrei, et al.
Pubblicazione: (2025)

Set-theoretic Types for Erlang
di: Schimpf, Albert, et al.
Pubblicazione: (2023)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

Compiling Gradual Types with Evidence
di: Romero, José Luis, et al.
Pubblicazione: (2025)

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

If-T: A Benchmark for Type Narrowing
di: Guo, Hanwen, et al.
Pubblicazione: (2025)

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

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

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

Semantic-Type-Guided Bug Finding
di: Qian, Kelvin, et al.
Pubblicazione: (2024)