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