:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Moine, Alexandre, Balzer, Stephanie, Xu, Alex, Westrick, Sam
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2511.23358
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

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

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
by: Fowler, Simon, et al.
Published: (2024)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

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

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

A Language-Agnostic Logical Relation for Message-Passing Protocols
by: Zhang, Tesla, et al.
Published: (2025)

Stratified Type Theory
by: Chan, Jonathan, et al.
Published: (2023)

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

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
by: Kent, Zachary, et al.
Published: (2025)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
by: Yao, Yue, et al.
Published: (2024)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

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

Orthologic Type Systems
by: Guilloud, Simon, et al.
Published: (2025)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
by: Zhang, Tesla, et al.
Published: (2025)

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

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

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

Information Aware Type Systems and Telescopic Constraint Trees
by: Cowderoy, Philippa
Published: (2024)

Kotlin's Type System is (Also) Unsound
by: Kinsbruner, Elad, et al.
Published: (2024)

(Dis)Proving Spectre Security with Speculation-Passing Style
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

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

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

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

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

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
by: Bao, Yuyan, et al.
Published: (2025)

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)

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

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

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

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

A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)

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

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
by: He, Siyuan, et al.
Published: (2025)

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