A modal analysis of staged computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
A modal analysis of staged computation
Journal of the ACM (JACM)
Partial Evaluation for the Lambda Calculus
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A temporal-logic approach to binding-time analysis
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Program specialization for execution monitoring
Journal of Functional Programming
PE-KeY: a partial evaluator for java programs
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Hi-index | 0.00 |