Deterministic Higher-Order Patterns for Program Transformation.

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Browse the full LOPSTR paper archive.