Program generation, termination, and binding-time analysis (2002)

by N D Jones, A J Glenstrup
Venue:In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2487