POPL 2007