{"id":"arxiv/2603.16437","url":"https://arxiv.org/abs/2603.16437","tags":["cs.PL","math.CT","math.LO"],"score":0,"title":"Dimensional Type Systems and Deterministic Memory Management","domain":"cs.PL","source":"arxiv","authors":["Houston Haynes"],"reviews":0,"subject":"cs.PL","summary":"We present a dimensional type system whose annotations remain available through the stages that require them, allowing numeric representation and deterministic memory management to be resolved within a single Program Semantic Graph (PSG). Based on Andrew Kennedy's Units of Measure, dimensions constrain admissible operations and the application of domain laws, forming our Native Type Universe (NTU). Range analysis combines those constraints with values, guards, and declared boundaries. A covering representation then determines word width and memory footprint, which participate in allocation…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-17","reactions":{}}