02034nam 2200409 450 991037653530332120230808193655.01-4503-3549-7(CKB)3710000000729703(WaSeSS)IndRDA00103855(EXLCZ)99371000000072970320180828d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierPOPL '16 proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA /edited by Rastislav Bodik and Rupak Majumdar ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACTNew York :ACM,2016.1 online resource (815 pages)Includes index.Principles of Programming Languages '16 :proceedings 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 AmericaPrinciples of Programming Languages 2016Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesProceedings 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 LanguagesProgramming languages (Electronic computers)CongressesProgramming languages (Electronic computers)005.13Bodik RastislavMajumdar RupakACM Special Interest Group on Programming Languages,WaSeSSWaSeSSBOOK9910376535303321POPL '162110471UNINA