POPL 2004