A new intermediate language and compiler pass that preserves dependent types through memory allocation, using initialization flags on dependent pair types.
Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed
1 Pith paper cite this work, alongside 16 external citations. Polarity classification is still indexing.
1
Pith paper citing it
16
external citations · OpenAlex
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Dependent-Type-Preserving Memory Allocation
A new intermediate language and compiler pass that preserves dependent types through memory allocation, using initialization flags on dependent pair types.