Structure directed genericity in functional programming and attribute grammars (1997)

by Etienne Duris, Didier Parigot, Giles Roussel, Martin Jourdan