Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
Houston Haynes

TL;DR
This paper introduces a novel compilation framework that uses dimensional type annotations and coeffect-based memory management to optimize representation, memory, and performance decisions during native code compilation.
Contribution
It extends Hindley-Milner unification with a polynomial-time decidable inference system that preserves dimensional annotations through compilation stages, enabling deterministic memory management and representation optimization.
Findings
Dimensional inference determines value ranges and representation choices.
Annotations are carried through compilation, enabling design-time decision making.
The framework verifies memory and representation strategies at compile time.
Abstract
We present a compilation framework in which dimensional type annotations persist through multi-stage MLIR lowering, enabling the compiler to jointly resolve numeric representation selection and deterministic memory management as coeffect properties of a single program semantic graph (PSG). Dimensional inference determines value ranges, which in turn determine representation selection, word width, memory footprint, allocation strategy, and cross-target transfer fidelity. The Dimensional Type System (DTS) extends Hindley-Milner unification with constraints drawn from finitely generated abelian groups, yielding inference that is decidable in polynomial time, complete (no annotations required), and principal. Where conventional systems erase dimensional annotations before code generation, DTS carries them as compilation metadata through each lowering stage, making them available where…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
