H.: type checking with macro tree transducers (2005)

by S Maneth, A Berlea, T Perst, Seidl
Venue:ACM SPDS