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