Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.00941 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)
by: Devriese, Dominique, et al.
Published: (2020)
Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)
by: Giunti, Marco, et al.
Published: (2025)
Hybrid Multiparty Session Types -- Full Version
by: Gheri, Lorenzo, et al.
Published: (2023)
by: Gheri, Lorenzo, et al.
Published: (2023)
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)
by: Geng, Chujun, et al.
Published: (2024)
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)
by: Niu, Yue, et al.
Published: (2024)
Origami: (un)folding the abstraction of recursion schemes for program synthesis
by: Fernandes, Matheus Campos, et al.
Published: (2024)
by: Fernandes, Matheus Campos, et al.
Published: (2024)
Contextual MetaML: Syntax and Full Abstraction
by: Yin, Haoxuan, et al.
Published: (2026)
by: Yin, Haoxuan, et al.
Published: (2026)
Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)
by: Zhou, Zhe, et al.
Published: (2023)
Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)
by: Zhou, Zhe, et al.
Published: (2025)
Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)
by: Cutler, Joseph W., et al.
Published: (2023)
Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)
by: Sainati, Daniel, et al.
Published: (2025)
The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
by: Zhou, Shu, et al.
Published: (2024)
by: Zhou, Shu, et al.
Published: (2024)
Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)
by: Herlihy, Anna, et al.
Published: (2025)
Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)
by: Pischke, Kai, et al.
Published: (2025)
From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)
by: Yuan, Yongwei, et al.
Published: (2025)
TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)
by: Moine, Alexandre, et al.
Published: (2025)
Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)
by: Almeida, Bernardo, et al.
Published: (2025)
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
by: Lugović, Lovro, et al.
Published: (2023)
by: Lugović, Lovro, et al.
Published: (2023)
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)
by: Li, Senxi, et al.
Published: (2026)
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)
by: LaFontaine, Patrick, et al.
Published: (2025)
Typing Composite Subjects
by: Aceto, Luca, et al.
Published: (2024)
by: Aceto, Luca, et al.
Published: (2024)
Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)
by: Tang, Wenhao, et al.
Published: (2024)
Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)
by: Grodin, Harrison, et al.
Published: (2025)
Typing Composable Coroutines
by: Gu, Qiqi, et al.
Published: (2023)
by: Gu, Qiqi, et al.
Published: (2023)
Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)
by: Arquez, Damian, et al.
Published: (2023)
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)
by: Jia, Songlin, et al.
Published: (2024)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)
by: Lybech, Stian, et al.
Published: (2025)
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
by: Bobrow, Elliot, et al.
Published: (2025)
by: Bobrow, Elliot, et al.
Published: (2025)
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
by: Paul, Abhijit
Published: (2025)
by: Paul, Abhijit
Published: (2025)
Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)
by: Koronkevich, Paulette, et al.
Published: (2024)
Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)
by: Chen, Jiawei, et al.
Published: (2024)
Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)
by: Ângelo, Pedro, et al.
Published: (2026)
Navigating the Python Type Jungle
by: Nacu, Andrei, et al.
Published: (2025)
by: Nacu, Andrei, et al.
Published: (2025)
Set-theoretic Types for Erlang
by: Schimpf, Albert, et al.
Published: (2023)
by: Schimpf, Albert, et al.
Published: (2023)
Compiling Gradual Types with Evidence
by: Romero, José Luis, et al.
Published: (2025)
by: Romero, José Luis, et al.
Published: (2025)
If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)
by: Guo, Hanwen, et al.
Published: (2025)
Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)
by: Rasch, Ari
Published: (2024)
Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)
by: Plotkin, Gordon, et al.
Published: (2025)
Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)
by: Qian, Kelvin, et al.
Published: (2024)
Towards Quantum Multiparty Session Types
by: Lanese, Ivan, et al.
Published: (2024)
by: Lanese, Ivan, et al.
Published: (2024)