A modal analysis of staged computation. (2001)

by R Davies, F Pfenning
Venue:JACM,