Image de couverture de livre

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Brun, Matthew Alan Le, Dardha, Ornela
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

Multiparty Session Types with a Bang!
par: Brun, Matthew Alan Le, et autres
Publié: (2025)

Prioritise the Best Variation
par: Kokke, Wen, et autres
Publié: (2021)

Session Types for the Transport Layer: Towards an Implementation of TCP
par: Cavoj, Samuel, et autres
Publié: (2024)

Separating Sessions Smoothly
par: Fowler, Simon, et autres
Publié: (2021)

Minimal Session Types for the $π$-calculus (Extended Version)
par: Arslanagic, Alen, et autres
Publié: (2021)

Sal: Multi-modal Verification of Replicated Data Types
par: Ramesh, Pranav, et autres
Publié: (2026)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
par: Marshall, Danielle, et autres
Publié: (2022)

Automatically Verifying Replication-aware Linearizability
par: Soundarapandian, Vimala, et autres
Publié: (2025)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
par: Haas, Julian, et autres
Publié: (2025)

Type-Error Ablation and AI Coding Agents
par: Krishnamurthi, Shriram, et autres
Publié: (2026)

Privacy-Respecting Type Error Telemetry at Scale
par: Greenman, Ben, et autres
Publié: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
par: Barwell, Adam D., et autres
Publié: (2023)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
par: Nagar, Kartik, et autres
Publié: (2020)

A Datalog Framework for Conflict-Free Replicated Data Types
par: Yanakieva, Elena, et autres
Publié: (2026)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

VeriFx: Correct Replicated Data Types for the Masses
par: De Porre, Kevin, et autres
Publié: (2022)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
par: Blanc, Alex Le, et autres
Publié: (2025)

A Promising Future: Omission Failures in Choreographic Programming
par: Graversen, Eva, et autres
Publié: (2017)

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

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, 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)

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)

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

Coordination-free Collaborative Replication based on Operational Transformation
par: Takeichi, Masato
Publié: (2024)

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

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

Full Iso-recursive Types
par: Zhou, Litao, et autres
Publié: (2024)

Contextual Metaprogramming for Session Types
par: Ângelo, Pedro, et autres
Publié: (2026)

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

Set-theoretic Types for Erlang
par: Schimpf, Albert, et autres
Publié: (2023)

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

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

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