Multi-stage programming with explicit annotations
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
From ML to Ada: Strongly-typed language interoperability via source translation
Journal of Functional Programming
Hi-index | 0.00 |