9. POPL 1982: Albuquerque, New Mexico, USA