Compiling Pattern Matching by Term Decomposition

Laurence Puel, Ascánder Suárez. Compiling Pattern Matching by Term Decomposition. Journal of Symbolic Computation, 15(1):1-26, 1993.

Abstract

Abstract is missing.