A Complete Transformational Toolkit for Compilers.

Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering

Browse the full ESOP paper archive.