Staged allocation: A compositional technique for specifying and implementing procedure calling conventions (2006)

by R Olinsky, C Lindig, N Ramsey
Venue:In 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL