Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
ACM Digital Library