On the State of Coherence in the Land of Type Classes
Fuente:
arXiv
Salvato in:
| Autori principali: | Racordon, Dimi, Flesselle, Eugene, Pham, Cao Nguyen |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
System $F^ω$ with Coherent Implicit Resolution
di: Flesselle, Eugène
Pubblicazione: (2025)
di: Flesselle, Eugène
Pubblicazione: (2025)
First-Class Refinement Types for Scala
di: Bovel, Matt, et al.
Pubblicazione: (2026)
di: Bovel, Matt, et al.
Pubblicazione: (2026)
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
di: Xu, Yichen, et al.
Pubblicazione: (2025)
di: Xu, Yichen, et al.
Pubblicazione: (2025)
Tracking Capabilities for Safer Agents
di: Odersky, Martin, et al.
Pubblicazione: (2026)
di: Odersky, Martin, et al.
Pubblicazione: (2026)
Lenses for Partially-Specified States (Extended Version)
di: Matsuda, Kazutaka, et al.
Pubblicazione: (2026)
di: Matsuda, Kazutaka, et al.
Pubblicazione: (2026)
LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)
TypeDis: A Type System for Disentanglement
di: Moine, Alexandre, et al.
Pubblicazione: (2025)
di: Moine, Alexandre, et al.
Pubblicazione: (2025)
Local Type Inference for Context-Free Session Types
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)
Stream Types
di: Cutler, Joseph W., et al.
Pubblicazione: (2023)
di: Cutler, Joseph W., et al.
Pubblicazione: (2023)
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
di: Li, Senxi, et al.
Pubblicazione: (2026)
di: Li, Senxi, et al.
Pubblicazione: (2026)
Datalog with First-Class Facts
di: Gilray, Thomas, et al.
Pubblicazione: (2024)
di: Gilray, Thomas, et al.
Pubblicazione: (2024)
Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)
di: Grodin, Harrison, et al.
Pubblicazione: (2025)
Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)
di: Zhou, Zhe, et al.
Pubblicazione: (2023)
Typing Composite Subjects
di: Aceto, Luca, et al.
Pubblicazione: (2024)
di: Aceto, Luca, et al.
Pubblicazione: (2024)
Typing Composable Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2023)
di: Gu, Qiqi, et al.
Pubblicazione: (2023)
Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)
di: Tang, Wenhao, et al.
Pubblicazione: (2024)
Gradual Sensitivity Typing
di: Arquez, Damian, et al.
Pubblicazione: (2023)
di: Arquez, Damian, et al.
Pubblicazione: (2023)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
di: Lybech, Stian, et al.
Pubblicazione: (2025)
di: Lybech, Stian, et al.
Pubblicazione: (2025)
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
di: Jia, Songlin, et al.
Pubblicazione: (2024)
di: Jia, Songlin, et al.
Pubblicazione: (2024)
Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
di: Korostinskiy, Roman, et al.
Pubblicazione: (2024)
di: Korostinskiy, Roman, et al.
Pubblicazione: (2024)
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)
Pathological Cases for a Class of Reachability-Based Garbage Collectors
di: Sotoudeh, Matthew
Pubblicazione: (2025)
di: Sotoudeh, Matthew
Pubblicazione: (2025)
Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
di: Sukhova, Anna, et al.
Pubblicazione: (2024)
di: Sukhova, Anna, et al.
Pubblicazione: (2024)
Navigating the Python Type Jungle
di: Nacu, Andrei, et al.
Pubblicazione: (2025)
di: Nacu, Andrei, et al.
Pubblicazione: (2025)
Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)
di: Zhou, Zhe, et al.
Pubblicazione: (2025)
Compiling Gradual Types with Evidence
di: Romero, José Luis, et al.
Pubblicazione: (2025)
di: Romero, José Luis, et al.
Pubblicazione: (2025)
Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)
If-T: A Benchmark for Type Narrowing
di: Guo, Hanwen, et al.
Pubblicazione: (2025)
di: Guo, Hanwen, et al.
Pubblicazione: (2025)
Contextual Metaprogramming for Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)
Set-theoretic Types for Erlang
di: Schimpf, Albert, et al.
Pubblicazione: (2023)
di: Schimpf, Albert, et al.
Pubblicazione: (2023)
Type Universes as Allocation Effects
di: Koronkevich, Paulette, et al.
Pubblicazione: (2024)
di: Koronkevich, Paulette, et al.
Pubblicazione: (2024)
Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)
di: Chen, Jiawei, et al.
Pubblicazione: (2024)
Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)
di: Zhou, Litao, et al.
Pubblicazione: (2024)
Dependent-Type-Preserving Memory Allocation
di: Koronkevich, Paulette, et al.
Pubblicazione: (2025)
di: Koronkevich, Paulette, et al.
Pubblicazione: (2025)
A Complementary Approach to Incorrectness Typing
di: Li, Celia Mengyue, et al.
Pubblicazione: (2025)
di: Li, Celia Mengyue, et al.
Pubblicazione: (2025)
Multiparty Session Types with a Bang!
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)
Semantic-Type-Guided Bug Finding
di: Qian, Kelvin, et al.
Pubblicazione: (2024)
di: Qian, Kelvin, et al.
Pubblicazione: (2024)
The Design Principles of the Elixir Type System
di: Castagna, Giuseppe, et al.
Pubblicazione: (2023)
di: Castagna, Giuseppe, et al.
Pubblicazione: (2023)
Towards Quantum Multiparty Session Types
di: Lanese, Ivan, et al.
Pubblicazione: (2024)
di: Lanese, Ivan, et al.
Pubblicazione: (2024)
Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)
Documenti analoghi
-
System $F^ω$ with Coherent Implicit Resolution
di: Flesselle, Eugène
Pubblicazione: (2025) -
First-Class Refinement Types for Scala
di: Bovel, Matt, et al.
Pubblicazione: (2026) -
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
di: Xu, Yichen, et al.
Pubblicazione: (2025) -
Tracking Capabilities for Safer Agents
di: Odersky, Martin, et al.
Pubblicazione: (2026) -
Lenses for Partially-Specified States (Extended Version)
di: Matsuda, Kazutaka, et al.
Pubblicazione: (2026)