Search-Based Binding Time Analysis using Type-Directed Pruning (2002)

by T Sheard, Linger
Venue:In: Proceedings of the ACM SIGPLAN Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu