Cover Image

Dependent-Type-Preserving Memory Allocation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koronkevich, Paulette, Bowman, William J.
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

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

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

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

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

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

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
by: Haynes, Houston
Published: (2026)

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

A Two-Level Linear Dependent Type Theory
by: Fu, Qiancheng, et al.
Published: (2023)

Dependent Multiplicities in Dependent Linear Type Theory
by: Doré, Maximilian
Published: (2025)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)

Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

A Graded Modal Dependent Type Theory with Erasure, Formalized
by: Abel, Andreas, et al.
Published: (2026)

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

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

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
by: Sharma, Reshabh K, et al.
Published: (2026)

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

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

WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)

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

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

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

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
by: Hu, Jason Z. S., et al.
Published: (2024)

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)

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

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
by: Aberlé, C. B.
Published: (2026)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)