Higher Order Matching for Program Transformation

Oege de Moor, Ganesh Sittampalam. Higher Order Matching for Program Transformation. In Aart Middeldorp, Taisuke Sato, editors, Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Volume 1722 of Lecture Notes in Computer Science, pages 209-224, Springer, 1999.

Abstract

Abstract is missing.