LEADER 02034nam  2200409   450 
001 9910376535303321
005 20230808193655.0
010   $a1-4503-3549-7
035   $a(CKB)3710000000729703
035   $a(WaSeSS)IndRDA00103855
035   $a(EXLCZ)993710000000729703
100   $a20180828d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPOPL '16 $eproceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA /$fedited by Rastislav Bodik and Rupak Majumdar ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT
210  1$aNew York :$cACM,$d2016.
215   $a1 online resource (815 pages)
300   $aIncludes index.
517 1 $aPrinciples of Programming Languages '16 :$eproceedings of the 43rd annual Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, Florida, United States of America
517 1 $aPrinciples of Programming Languages 2016
517 1 $aProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
517 1 $aProceedings of the 43rd annual Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages
606   $aProgramming languages (Electronic computers)$vCongresses
615  0$aProgramming languages (Electronic computers)
676   $a005.13
702   $aBodik$b Rastislav
702   $aMajumdar$b Rupak
712 02$aACM Special Interest Group on Programming Languages,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376535303321
996   $aPOPL '16$92110471
997   $aUNINA