:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Guo, Hanwen, Greenman, Ben
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2508.03830
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

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

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

Pantograph: A Fluid and Typed Structure Editor
by: Prinz, Jacob, et al.
Published: (2024)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

Typing Composite Subjects
by: Aceto, Luca, et al.
Published: (2024)

Typing Composable Coroutines
by: Gu, Qiqi, et al.
Published: (2023)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

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

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

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

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

A Relational Solver for Constraint-based Type Inference
by: Domoratskiy, Eridan, et al.
Published: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
by: Paul, Abhijit
Published: (2025)

Navigating the Python Type Jungle
by: Nacu, Andrei, et al.
Published: (2025)

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

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

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

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

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

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

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

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