[ACM Press the 9th ACM SIGPLAN-SIGACT symposium - Albuquerque, Mexico (1982.01.25-1982.01.27)] Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 - Principal type-schemes for functional programs

[ACM Press the 9th ACM SIGPLAN-SIGACT sy

[ACM Press the 9th ACM SIGPLAN-SIGACT symposium - Albuquerque, Mexico (1982.01.25-1982.01.27)] Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 - A flexible approach to interprocedural data flow analysis and programs with recursive data structures

✍ Jones, Neil D.; Muchnick, Steven S. 📂 Article 📅 1982 🏛 ACM Press 🌐 English ⚖ 727 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

[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 29th ACM SIGPLAN-SIGACT s

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Mining specifications

✍ Ammons, Glenn; Bodík, Rastislav; Larus, James R. 📂 Article 📅 2002 🏛 ACM Press ⚖ 299 KB

[ACM Press the 14th ACM SIGACT-SIGPLAN s

[ACM Press the 14th ACM SIGACT-SIGPLAN symposium - Munich, West Germany (1987.01.21-1987.01.23)] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 - Constraint logic programming

✍ Jaffar, J.; Lassez, J.-L. 📂 Article 📅 1987 🏛 ACM Press 🌐 English ⚖ 708 KB