Cover Image

Gradual Sensitivity Typing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arquez, Damian, Toro, Matías, Tanter, Éric
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

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

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

Gredex
by: Toro, Matías, et al.
Published: (2025)

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

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

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

Increasing the Expressiveness of a Gradual Verifier
by: Gupta, Priyam
Published: (2025)

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

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

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

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

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

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
by: Deng, Haotian, et al.
Published: (2025)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

Compactness via Pattern Stepping Bisimulation
by: Scharager, Matias
Published: (2024)

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

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

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

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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