POPL 1988