25. POPL 1998: San Diego, CA, USA