Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing

Bernhard Reus. Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 483-484, Springer, 1992.

Abstract

Abstract is missing.