Higher-Order Transformations and Type Simulations

Martin C. Henson. Higher-Order Transformations and Type Simulations. Comput. J., 31(6):517-524, 1988.

Abstract

Abstract is missing.