Type-safe and portable support for packed data
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Jamet, Arthur, Vollmer, Michael |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
von: Hughes, Jack, et al.
Veröffentlicht: (2025)
von: Hughes, Jack, et al.
Veröffentlicht: (2025)
A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)
Pacing Types for Asynchronous Stream Equations
von: Kohn, Florian, et al.
Veröffentlicht: (2026)
von: Kohn, Florian, et al.
Veröffentlicht: (2026)
Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)
von: Kohn, Florian, et al.
Veröffentlicht: (2025)
Compiler support for semi-manual AoS-to-SoA conversions with data views
von: Radtke, Pawel K., et al.
Veröffentlicht: (2024)
von: Radtke, Pawel K., et al.
Veröffentlicht: (2024)
Optimizing Layout of Recursive Datatypes with Marmoset
von: Singhal, Vidush, et al.
Veröffentlicht: (2024)
von: Singhal, Vidush, et al.
Veröffentlicht: (2024)
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
von: Vollmer, Victoria, et al.
Veröffentlicht: (2024)
von: Vollmer, Victoria, et al.
Veröffentlicht: (2024)
Simply typed convertibility is TOWER-complete even for safe lambda-terms
von: Nguyên, Lê Thành Dũng
Veröffentlicht: (2023)
von: Nguyên, Lê Thành Dũng
Veröffentlicht: (2023)
TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)
Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)
Local Type Inference for Context-Free Session Types
von: Almeida, Bernardo, et al.
Veröffentlicht: (2025)
von: Almeida, Bernardo, et al.
Veröffentlicht: (2025)
Stream Types
von: Cutler, Joseph W., et al.
Veröffentlicht: (2023)
von: Cutler, Joseph W., et al.
Veröffentlicht: (2023)
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
von: Li, Senxi, et al.
Veröffentlicht: (2026)
von: Li, Senxi, et al.
Veröffentlicht: (2026)
SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
von: Singhal, Vidush, et al.
Veröffentlicht: (2026)
von: Singhal, Vidush, et al.
Veröffentlicht: (2026)
Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)
Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)
Typing Composite Subjects
von: Aceto, Luca, et al.
Veröffentlicht: (2024)
von: Aceto, Luca, et al.
Veröffentlicht: (2024)
Typing Composable Coroutines
von: Gu, Qiqi, et al.
Veröffentlicht: (2023)
von: Gu, Qiqi, et al.
Veröffentlicht: (2023)
Modal Effect Types
von: Tang, Wenhao, et al.
Veröffentlicht: (2024)
von: Tang, Wenhao, et al.
Veröffentlicht: (2024)
Gradual Sensitivity Typing
von: Arquez, Damian, et al.
Veröffentlicht: (2023)
von: Arquez, Damian, et al.
Veröffentlicht: (2023)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)
von: Lybech, Stian, et al.
Veröffentlicht: (2025)
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
von: Jia, Songlin, et al.
Veröffentlicht: (2024)
von: Jia, Songlin, et al.
Veröffentlicht: (2024)
Improving compiler support for SIMD offload using Arm Streaming SVE
von: Mohamed, Mohamed Husain Noor, et al.
Veröffentlicht: (2025)
von: Mohamed, Mohamed Husain Noor, et al.
Veröffentlicht: (2025)
Navigating the Python Type Jungle
von: Nacu, Andrei, et al.
Veröffentlicht: (2025)
von: Nacu, Andrei, et al.
Veröffentlicht: (2025)
Type-Based Incorrectness Reasoning
von: Zhou, Zhe, et al.
Veröffentlicht: (2025)
von: Zhou, Zhe, et al.
Veröffentlicht: (2025)
Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)
von: Romero, José Luis, et al.
Veröffentlicht: (2025)
Typing Strictness (Extended Version)
von: Sainati, Daniel, et al.
Veröffentlicht: (2025)
von: Sainati, Daniel, et al.
Veröffentlicht: (2025)
If-T: A Benchmark for Type Narrowing
von: Guo, Hanwen, et al.
Veröffentlicht: (2025)
von: Guo, Hanwen, et al.
Veröffentlicht: (2025)
Contextual Metaprogramming for Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2026)
von: Ângelo, Pedro, et al.
Veröffentlicht: (2026)
Set-theoretic Types for Erlang
von: Schimpf, Albert, et al.
Veröffentlicht: (2023)
von: Schimpf, Albert, et al.
Veröffentlicht: (2023)
Type Universes as Allocation Effects
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2024)
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2024)
Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)
Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)
von: Zhou, Litao, et al.
Veröffentlicht: (2024)
Dependent-Type-Preserving Memory Allocation
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2025)
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2025)
A Complementary Approach to Incorrectness Typing
von: Li, Celia Mengyue, et al.
Veröffentlicht: (2025)
von: Li, Celia Mengyue, et al.
Veröffentlicht: (2025)
Multiparty Session Types with a Bang!
von: Brun, Matthew Alan Le, et al.
Veröffentlicht: (2025)
von: Brun, Matthew Alan Le, et al.
Veröffentlicht: (2025)
On the State of Coherence in the Land of Type Classes
von: Racordon, Dimi, et al.
Veröffentlicht: (2025)
von: Racordon, Dimi, et al.
Veröffentlicht: (2025)
Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)
The Design Principles of the Elixir Type System
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)
Ähnliche Einträge
-
Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026) -
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
von: Hughes, Jack, et al.
Veröffentlicht: (2025) -
A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026) -
Pacing Types for Asynchronous Stream Equations
von: Kohn, Florian, et al.
Veröffentlicht: (2026) -
Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)