Publications

Toward a Complete Transformational Toolkit for Compilers

• • J.A. Bergstra
  • T.B. Dinesh
  • et al.
• 1997
• ACM TOPLAS