Login / Signup

Higher-order matching for program transformation.

Oege de MoorGanesh Sittampalam
Published in: Theor. Comput. Sci. (2001)
Keyphrases