Imagen de Portada

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Senxi, Dai, Feng, Yamazaki, Tetsuro, Chiba, Shigeru
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
por: Mochizuki, Fumika, et al.
Publicado: (2025)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

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

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
por: Giovannini, Eric, et al.
Publicado: (2024)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
por: Liu, Hanhaotian, et al.
Publicado: (2026)

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

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

Automated Type Annotation in Python Using Large Language Models
por: Bharti, Varun, et al.
Publicado: (2025)

Gradual Metaprogramming
por: Chen, Tianyu, et al.
Publicado: (2025)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

A Gradual Probabilistic Lambda Calculus
por: Ye, Wenjia, et al.
Publicado: (2026)

Increasing the Expressiveness of a Gradual Verifier
por: Gupta, Priyam
Publicado: (2025)

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)

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

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

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

Typing Composable Coroutines
por: Gu, Qiqi, et al.
Publicado: (2023)

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

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)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
por: Zimmerman, Conrad, et al.
Publicado: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
por: Mutlu, Doruk Alp
Publicado: (2025)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
por: Gould, Chester J. F., et al.
Publicado: (2025)

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

Navigating the Python Type Jungle
por: Nacu, Andrei, et al.
Publicado: (2025)

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

Type-Based Incorrectness Reasoning
por: Zhou, Zhe, et al.
Publicado: (2025)

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Typing Strictness (Extended Version)
por: Sainati, Daniel, et al.
Publicado: (2025)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

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

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

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

Taming Scope Extrusion in Gradual Imperative Metaprogramming
por: Chen, Tianyu, et al.
Publicado: (2026)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
por: Irugalbandara, Chandra
Publicado: (2024)

First-Class Refinement Types for Scala
por: Bovel, Matt, et al.
Publicado: (2026)

Remarks on Algebraic Reconstruction of Types and Effects
por: Balik, Patrycja, et al.
Publicado: (2026)