15. POPL 1988: San Diego, California, USA