[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Deadlock-freedom-by-design

[ACM Press the 40th annual ACM SIGPLAN-S

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - HALO

✍ Vytiniotis, Dimitrios; Peyton Jones, Simon; Claessen, Koen; Rosén, Dan 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 551 KB

[ACM Press the 40th annual ACM SIGPLAN-S

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Principled parsing for indentation-sensitive languages

✍ Adams, Michael D. 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 509 KB

[ACM Press the 40th annual ACM SIGPLAN-S

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Static and dynamic semantics of NoSQL languages

✍ Benzaken, Véronique; Castagna, Giuseppe; Nguyen, Kim; Siméon, Jérôme 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 793 KB

[ACM Press the 40th annual ACM SIGPLAN-S

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Optimizing data structures in high-level programs

✍ Rompf, Tiark; Sujeeth, Arvind K.; Amin, Nada; Brown, Kevin J.; Jovanovic, Vojin; 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 609 KB

[ACM Press the 39th annual ACM SIGPLAN-S

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Programming languages for programmable networks

✍ Rexford, Jennifer 📂 Article 📅 2012 🏛 ACM Press 🌐 English ⚖ 279 KB

[ACM Press the 39th annual ACM SIGPLAN-S

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Programming languages for programmable networks

✍ Rexford, Jennifer 📂 Article 📅 2012 🏛 ACM Press 🌐 English ⚖ 279 KB

Today's computer networks perform a bewildering array of tasks, from routing and access control, to traffic monitoring and load balancing. To support wireless users accessing services hosted in the cloud, enterprise and data-center networks are under increasing pressure to support client mobility, v