A Modal Analysis of Staged Computation (1996)

by Rowan Davies, Frank Pfenning
Venue:JOURNAL OF THE ACM