Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specialization of inductively sequential functional logic programs
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Hi-index | 0.00 |