Higher-order matching for program transformation

Oege de Moor, Ganesh Sittampalam. Higher-order matching for program transformation. Theoretical Computer Science, 269(1-2):135-162, 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: