Image de couverture de livre

Full Iso-recursive Types

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhou, Litao, Wan, Qianyong, Oliveira, Bruno C. d. S.
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

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
par: Devriese, Dominique, et autres
Publié: (2020)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
par: Giunti, Marco, et autres
Publié: (2025)

Hybrid Multiparty Session Types -- Full Version
par: Gheri, Lorenzo, et autres
Publié: (2023)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
par: Geng, Chujun, et autres
Publié: (2024)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
par: Niu, Yue, et autres
Publié: (2024)

Contextual MetaML: Syntax and Full Abstraction
par: Yin, Haoxuan, et autres
Publié: (2026)

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

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

Origami: (un)folding the abstraction of recursion schemes for program synthesis
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

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

Language-Integrated Recursive Queries (Full Version)
par: Herlihy, Anna, et autres
Publié: (2025)

Asynchronous Global Protocols, Precisely: Full Proofs
par: Pischke, Kai, et autres
Publié: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
par: Yuan, Yongwei, et autres
Publié: (2025)

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

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
par: Zhou, Shu, et autres
Publié: (2024)

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

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
par: Lugović, Lovro, et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
par: LaFontaine, Patrick, et autres
Publié: (2025)

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

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

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)

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

Synchronous Programming with Refinement Types
par: Chen, Jiawei, 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)

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

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

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
par: Rasch, Ari
Publié: (2024)

Semantic-Type-Guided Bug Finding
par: Qian, Kelvin, et autres
Publié: (2024)

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

Preventing Out-of-Gas Exceptions by Typing
par: Aceto, Luca, et autres
Publié: (2024)

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

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