Higher-order Matching for Program Transformation (1999)

by Oege De Moor , Ganesh Sittampalam
Citations:13 - 1 self