A modal analysis of staged computation. Submitted. Available as (1999)

by Rowan Davies, Frank Pfenning