Image de couverture de livre

TypeDis: A Type System for Disentanglement

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Moine, Alexandre, Balzer, Stephanie, Xu, Alex, Westrick, Sam
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

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
par: Moine, Alexandre, et autres
Publié: (2025)

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

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
par: Derakhshan, Farzaneh, et autres
Publié: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)

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

Typing Strictness (Extended Version)
par: Sainati, Daniel, et autres
Publié: (2025)

Local Optimization of Quantum Circuits (Extended Version)
par: Arora, Jatin, et autres
Publié: (2025)

A Language-Agnostic Logical Relation for Message-Passing Protocols
par: Zhang, Tesla, et autres
Publié: (2025)

The Design Principles of the Elixir Type System
par: Castagna, Giuseppe, et autres
Publié: (2023)

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

Stratified Type Theory
par: Chan, Jonathan, et autres
Publié: (2023)

Orthologic Type Systems
par: Guilloud, Simon, et autres
Publié: (2025)

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)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
par: Kent, Zachary, et autres
Publié: (2025)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
par: Yao, Yue, et autres
Publié: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, 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 Type System for Data Privacy Compliance in Active Object Languages
par: Baramashetru, Chinmayi Prabhu, et autres
Publié: (2025)

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

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

(Dis)Proving Spectre Security with Speculation-Passing Style
par: Arranz-Olmos, Santiago, et autres
Publié: (2025)

Kotlin's Type System is (Also) Unsound
par: Kinsbruner, Elad, et autres
Publié: (2024)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
par: Bao, Yuyan, et autres
Publié: (2025)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
par: Zhang, Tesla, et autres
Publié: (2025)

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

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

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

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

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

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
par: Castagna, Giuseppe, et autres
Publié: (2024)

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

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

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

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

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

Navigating the Python Type Jungle
par: Nacu, Andrei, et autres
Publié: (2025)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)