Using attribute grammars to derive e#cient functional programs (1987)

by M Kuiper, S Swierstra
Venue:In Computing Science in the