Title: Conference record of POPL '00
Subjects: Computer programming, Congresses, Programming languages (Electronic computers), Programming languages (electronic computers)