published in Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation Journal
presented at event POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Conference
keywords 33 Built Environment and Design 3303 Design 46 Information and Computing Sciences 49 Mathematical Sciences 4904 Pure Mathematics