Copertina

On the State of Coherence in the Land of Type Classes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Racordon, Dimi, Flesselle, Eugene, Pham, Cao Nguyen
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
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)

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)

LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)

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

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

Stream Types
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)

Datalog with First-Class Facts
di: Gilray, Thomas, et al.
Pubblicazione: (2024)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Typing Composite Subjects
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Typing Composable Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2023)

Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)

Gradual Sensitivity Typing
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)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
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)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
di: Sotoudeh, Matthew
Pubblicazione: (2025)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
di: Sukhova, Anna, et al.
Pubblicazione: (2024)

Navigating the Python Type Jungle
di: Nacu, Andrei, et al.
Pubblicazione: (2025)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

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

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

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

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

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

Type Universes as Allocation Effects
di: Koronkevich, Paulette, et al.
Pubblicazione: (2024)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

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

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

Multiparty Session Types with a Bang!
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)

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

The Design Principles of the Elixir Type System
di: Castagna, Giuseppe, et al.
Pubblicazione: (2023)

Towards Quantum Multiparty Session Types
di: Lanese, Ivan, et al.
Pubblicazione: (2024)

Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)