LEADER 02393oam 2200505zu 450 001 9910376493703321 005 20210807002014.0 035 $a(CKB)3170000000002781 035 $a(SSID)ssj0001138907 035 $a(PQKBManifestationID)11758119 035 $a(PQKBTitleCode)TC0001138907 035 $a(PQKBWorkID)11188799 035 $a(PQKB)11092647 035 $a(WaSeSS)IndRDA00015184 035 $a(Association for Computing Machinery)10.1145/1190216 035 $a(EXLCZ)993170000000002781 100 $a20160829d2007 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aConference record of POPL 2007 : the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, January 17-19, 2007, French Riviera, Nice, France 210 31$a[Place of publication not identified]$cACM$d2007 215 $a1 online resource (390 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-59593-575-4 410 0$aACM Conferences 517 1 $aConference record of Principles of Programming Languages 2007 :$ethe 34th Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages : papers presented at the Symposium, January 17-19, 2007, French Riviera, Nice, France 517 1 $aProceedings of the 34th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 517 1 $aPOPL '07 517 1 $a34th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Nice, France - January 17 - 19, 2007 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aHofmann$b Martin$0850011 712 02$aAssociation for Computing Machinery 712 02$aACM Special Interest Group on Programming Languages 801 0$bPQKB 906 $aBOOK 912 $a9910376493703321 996 $aConference record of POPL 2007 : the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, January 17-19, 2007, French Riviera, Nice, France$92292648 997 $aUNINA