Properties of Unfolding-based Meta-level Systems (1991)

by T Amtoft
Venue:In Proc. of the ACM Symp. on Partial Evaluation and Semantics-based Program Transformation (PEPM’91