POPL '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 SIGACT

• Record Nr.: UNINA9910376535303321
• Pubbl/distr/stampa: New York : , : ACM, , 2016
• ISBN: 1-4503-3549-7
• Descrizione fisica: 1 online resource (815 pages)
• Disciplina: 005.13
• Soggetti: Programming languages (Electronic computers)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes index.