PEPM 2010 is co-located with [[http://www.cse.psu.edu/popl/10/][POPL 2010]].