Simple and flexible stack types

Typed intermediate languages and typed assembly languages for optimiz-ing compilers require types to describe stack-allocated data. Previous type systems for stack data were either undecidable or did not treat arguments passed by reference. This paper presents a simple, sound, decidable type system expressive enough to support the Micro-CLI source language, includ-ing by-reference arguments. This type system safely expresses operations on aliased stack locations by using singleton pointers and a small subset of linear logic