POPL 1987