Imagen de Portada

Privacy-Respecting Type Error Telemetry at Scale

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Greenman, Ben, Jeffrey, Alan, Krishnamurthi, Shriram, Shah, Mitesh
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

Type-Error Ablation and AI Coding Agents
por: Krishnamurthi, Shriram, et al.
Publicado: (2026)

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

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

An Interactive Debugger for Rust Trait Errors
por: Gray, Gavin, et al.
Publicado: (2025)

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

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

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

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

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

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

A Type System for Data Privacy Compliance in Active Object Languages
por: Baramashetru, Chinmayi Prabhu, et al.
Publicado: (2025)

Mason: Type- and Name-Guided Program Synthesis
por: Geer, Jasper, et al.
Publicado: (2026)

Type-Based Approaches to Rounding Error Analysis
por: Kellison, Ariel Eileen
Publicado: (2025)

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

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
por: Brun, Matthew Alan Le, et al.
Publicado: (2024)

Modernizing SMT-Based Type Error Localization
por: Kopinsky, Max, et al.
Publicado: (2024)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
por: Schwerter, Felipe Bañados, et al.
Publicado: (2025)

Numerical Fuzz: A Type System for Rounding Error Analysis
por: Kellison, Ariel E., et al.
Publicado: (2024)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
por: Bhanuka, Ishan, et al.
Publicado: (2024)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
por: Fu, Shuai, et al.
Publicado: (2024)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
por: Shirafuji, Atsushi, et al.
Publicado: (2023)

Synthesizing Backward Error Bounds, Backward
por: Zielinski, Laura, et al.
Publicado: (2026)

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

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

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

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

VyZX: Formal Verification of a Graphical Quantum Language
por: Lehmann, Adrian, et al.
Publicado: (2023)

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

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

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

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)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
por: Lee, Yanggyu, et al.
Publicado: (2024)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
por: Gilot, Andrea, 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)

Full Iso-recursive Types
por: Zhou, Litao, et al.
Publicado: (2024)