Constructor-based Conditional Narrowing (2001)

Cached

Download Links

by Sergio Antoy
Venue:In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001
Citations:58 - 25 self