01364nam|a2200241 a 450000500170000000800410001702000150005803500150007305000210008811101040010924503710021324600140058424600280059824600280062624600400065424601790069426000270087330000110090044000360091165000510094771000680099871000560106620260818084803.0031031s2003    us      r     100|0 eng d  a1581136285  a.b11888015 4aQA76.7bA26 20032 aACM Symposium on Principles of Programming Languagesn(30th :d2003 :cNew Orleans, Louisiana, USA)10aConference record of POPL 2003 :bthe 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003 /csponsored by the Association for Computing Machinery ; Special Interest Group on Algorithms and Computation Theory and Special Interest Group on Programming Languages30aPOPL 200330a30th ACM SIGPLAN-SIGACT30aACM SIGPLAN-SIGACT 200330aPrinciples of programming languages34aPOPL 2003 :bthe 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : paper presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003  aNew York :bACM,c2003  a299 p. 0aSIGPLAN notices ;vv. 38, no. 1 0aProgramming (Electronic computers)vCongresses2 aACM Special Interest Group on Algorithms and Computation Theory2 aACM Special Interest Group on Programming Languages