A Modal Analysis of Staged Computation.

Rowan Davies, Frank Pfenning

Browse the full POPL paper archive.