Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation Journal