Global Storage Allocation in Attribute Evaluation.

Takuya Katayama, Hisashi Sasaki

Browse the full POPL paper archive.