POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Leftmost outside-in narrowing calculi
Journal of Functional Programming
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
Lazy narrowing with simplification
Computer Languages
Narrowing Strategies For Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
| Hi-index | 0.00 |