A modal analysis of staged computation (0)

by R Davies, F Pfenning
Venue:Journal of the ACM