Imagen de Portada

Full Iso-recursive Types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhou, Litao, Wan, Qianyong, Oliveira, Bruno C. d. S.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
por: Giunti, Marco, et al.
Publicado: (2025)

Hybrid Multiparty Session Types -- Full Version
por: Gheri, Lorenzo, et al.
Publicado: (2023)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
por: Geng, Chujun, et al.
Publicado: (2024)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
por: Niu, Yue, et al.
Publicado: (2024)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

Polymorphic Coverage Types
por: Zhou, Zhe, et al.
Publicado: (2023)

Type-Based Incorrectness Reasoning
por: Zhou, Zhe, et al.
Publicado: (2025)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
por: Fernandes, Matheus Campos, et al.
Publicado: (2024)

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

Typing Strictness (Extended Version)
por: Sainati, Daniel, et al.
Publicado: (2025)

Language-Integrated Recursive Queries (Full Version)
por: Herlihy, Anna, et al.
Publicado: (2025)

Asynchronous Global Protocols, Precisely: Full Proofs
por: Pischke, Kai, et al.
Publicado: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
por: Yuan, Yongwei, et al.
Publicado: (2025)

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

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
por: Zhou, Shu, et al.
Publicado: (2024)

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

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
por: Lugović, Lovro, et al.
Publicado: (2023)

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

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
por: LaFontaine, Patrick, et al.
Publicado: (2025)

Typing Composite Subjects
por: Aceto, Luca, et al.
Publicado: (2024)

Modal Effect Types
por: Tang, Wenhao, et al.
Publicado: (2024)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Typing Composable Coroutines
por: Gu, Qiqi, et al.
Publicado: (2023)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

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

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

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

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

Navigating the Python Type Jungle
por: Nacu, Andrei, et al.
Publicado: (2025)

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

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

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

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

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

Towards Quantum Multiparty Session Types
por: Lanese, Ivan, et al.
Publicado: (2024)

Preventing Out-of-Gas Exceptions by Typing
por: Aceto, Luca, et al.
Publicado: (2024)

Dependent-Type-Preserving Memory Allocation
por: Koronkevich, Paulette, et al.
Publicado: (2025)

A Complementary Approach to Incorrectness Typing
por: Li, Celia Mengyue, et al.
Publicado: (2025)