Constructor-Based Conditional Narrowing

Sergio Antoy. Constructor-Based Conditional Narrowing. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 199-206, ACM, 2001.

Abstract

Abstract is missing.