PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
| Hi-index | 0.00 |