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.
MLIR-AIE: An MLIR-based toolchain for AMD AI engines, 2024.github
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.