Specialization of lazy functional logic programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination of narrowing revisited
Theoretical Computer Science
Lazy narrowing with simplification
Computer Languages
Narrowing Strategies For Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
Hi-index | 0.00 |