published in Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation Journal
keywords 46 Information and Computing Sciences 47 Language, Communication and Culture 4704 Linguistics