:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jamet, Arthur, Vollmer, Michael
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2504.20166
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

Pacing Types for Asynchronous Stream Equations
by: Kohn, Florian, et al.
Published: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

Optimizing Layout of Recursive Datatypes with Marmoset
by: Singhal, Vidush, et al.
Published: (2024)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
by: Vollmer, Victoria, et al.
Published: (2024)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
by: Nguyên, Lê Thành Dũng
Published: (2023)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
by: Singhal, Vidush, et al.
Published: (2026)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

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)

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

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)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, 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)

Improving compiler support for SIMD offload using Arm Streaming SVE
by: Mohamed, Mohamed Husain Noor, et al.
Published: (2025)

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)

If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, 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)

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

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

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

On the State of Coherence in the Land of Type Classes
by: Racordon, Dimi, et al.
Published: (2025)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)