Copertina

If-T: A Benchmark for Type Narrowing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Guo, Hanwen, Greenman, Ben
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

Privacy-Respecting Type Error Telemetry at Scale
di: Greenman, Ben, et al.
Pubblicazione: (2024)

Chorex: Restartable, Language-Integrated Choreographies
di: Wiersdorf, Ashton, et al.
Pubblicazione: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
di: Nsofor, Dibri, et al.
Pubblicazione: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
di: Prasad, Siddhartha, et al.
Pubblicazione: (2023)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
di: Allred, Taylor, et al.
Pubblicazione: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
di: Prasad, Siddhartha, et al.
Pubblicazione: (2024)

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

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
di: Baek, Doehyun, et al.
Pubblicazione: (2024)

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

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

A Complementary Approach to Incorrectness Typing
di: Li, Celia Mengyue, 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)

Refinement-Types Driven Development: A study
di: Domínguez, Facundo, et al.
Pubblicazione: (2025)

Pantograph: A Fluid and Typed Structure Editor
di: Prinz, Jacob, 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)

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

QiMeng-CRUX: Narrowing the Gap Between Natural Language and Verilog via Core Refined Understanding eXpression for Circuit Design
di: Huang, Lei, et al.
Pubblicazione: (2025)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
di: Castro-Perez, David, et al.
Pubblicazione: (2025)

A Two-Level Linear Dependent Type Theory
di: Fu, Qiancheng, et al.
Pubblicazione: (2023)

A Sound Type System for Secure Currency Flow
di: Aceto, Luca, et al.
Pubblicazione: (2024)

A Relational Solver for Constraint-based Type Inference
di: Domoratskiy, Eridan, 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)

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)

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

A Minimal Formulation of Session Types: The Sessions of Trios in Concert
di: Arslanagić, Alen, et al.
Pubblicazione: (2023)

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