Staged allocation: a compositional technique for specifying and implementing procedure calling conventions.

Reuben Olinsky, Christian Lindig, Norman Ramsey

Browse the full POPL paper archive.