A modal analysis of staged computation (0)

by Rowan Davies, Frank Pfenning
Venue:Journal of the ACM