LEADER 01912oam 2200493zu 450 001 9910375845003321 005 20210807002023.0 035 $a(CKB)3170000000002204 035 $a(SSID)ssj0001138177 035 $a(PQKBManifestationID)11646409 035 $a(PQKBTitleCode)TC0001138177 035 $a(PQKBWorkID)11131847 035 $a(PQKB)11496623 035 $a(WaSeSS)IndRDA00014629 035 $a(Association for Computing Machinery)10.1145/964001 035 $a(EXLCZ)993170000000002204 100 $a20160829d2004 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 210 31$a[Place of publication not identified]$cACM$d2004 215 $a1 online resource (354 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-58113-729-X 410 0$aACM Conferences 517 1 $aProceedings of the 31st Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages 517 1 $aPOPL '04 the 31st annual ACM Symposium on Principles of Programming Languages, Venice, Italy - January 14 - 16, 2004 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aJones$b Neil D$059760 702 $aJones$b Neil D 702 $aLeroy$b Xavier 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910375845003321 996 $aProceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages$91953241 997 $aUNINA