Workshop on Program Transformations at Lambda Jam 2013