On Narrowing Strategies for Partial Non-Strict Functions

David de Frutos-Escrig, María-Inés Fernández-Camacho. On Narrowing Strategies for Partial Non-Strict Functions. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt. Volume 494 of Lecture Notes in Computer Science, pages 416-437, Springer, 1991.

Abstract

Abstract is missing.