A dimensional type system extends Hindley-Milner inference with abelian-group constraints and carries annotations through MLIR lowering to jointly decide numeric representation and deterministic memory allocation at compile time.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
A dimensional type system extends Hindley-Milner inference with abelian-group constraints and carries annotations through MLIR lowering to jointly decide numeric representation and deterministic memory allocation at compile time.