Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages

F. Liu. Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages. In FPCA. pages 201-209, 1993.

Abstract

Abstract is missing.