Conditional narrowing without conditions

Sergio Antoy, Bernd Brassel, Michael Hanus. Conditional narrowing without conditions. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 20-31, ACM, 2003. [doi]

Authors

Sergio Antoy

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

Bernd Brassel

This author has not been identified. Look up 'Bernd Brassel' in Google

Michael Hanus

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