POPL, Nice, January 2007