Higher-Order Transformations and Type Simulations

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

Authors

Martin C. Henson

This author has not been identified. It may be one of the following persons: Look up 'Martin C. Henson' in Google