Constructor-based conditional narrowing (2001)

by S Antoy
Venue:In Proc. of the 3rd International Conference on Principles and Practice of Declarative Programming (PPDP’01