Imagen de Portada

Type Universes as Allocation Effects

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Koronkevich, Paulette, Bowman, William J.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

One Weird Trick to Untie Landin's Knot
por: Koronkevich, Paulette, et al.
Publicado: (2025)

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

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
por: Bowman, William J.
Publicado: (2025)

Fast and Extensible Hybrid Embeddings with Micros
por: Bocirnea, Sean, et al.
Publicado: (2025)

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

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

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

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

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

On the Expressivity of Typed Concurrent Calculi
por: Paulus, Joseph William Neal
Publicado: (2024)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
por: Rose, Abhishek, et al.
Publicado: (2024)

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

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
por: Makor, Lukas, et al.
Publicado: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
por: Jung, Christoph, et al.
Publicado: (2025)

Universal Algebra and Effectful Computation
por: Rajesh, Nayan
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)

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

Incremental Bidirectional Typing via Order Maintenance
por: Porter, Thomas J., et al.
Publicado: (2025)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
por: Korostinskiy, Roman, et al.
Publicado: (2024)

Reconsidering "Reconsidering Custom Memory Allocation"
por: van Kempen, Nicolas, et al.
Publicado: (2026)

Polynomial Universes in Homotopy Type Theory
por: Aberlé, C. B., et al.
Publicado: (2024)

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

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

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

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

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

Special Delivery: Programming with Mailbox Types (Extended Version)
por: Fowler, Simon, et al.
Publicado: (2023)

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)

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

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

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)

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