𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Types are not sets

✍ Scribed by Morris, James H.

Book ID: 121820472
Publisher: ACM Press
Year: 1973
Weight: 371 KB
Category: Article
DOI: 10.1145/512927.512938

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 1st annual ACM SIGACT-SIG

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Advice on structuring compilers and proving them correct

✍ Morris, F. Lockwood 📂 Article 📅 1973 🏛 ACM Press ⚖ 658 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 - HALO

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

[ACM Press the 38th annual ACM SIGPLAN-S

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Loop transformations

✍ Pouchet, Louis-Noël; Bondhugula, Uday; Bastoul, Cédric; Cohen, Albert; Ramanujam 📂 Article 📅 2011 🏛 ACM Press ⚖ 470 KB

[ACM Press the 41st ACM SIGPLAN-SIGACT S

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Polymorphic functions with set-theoretic types

✍ Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Sergueï; Pa 📂 Article 📅 2014 🏛 ACM Press ⚖ 769 KB

[ACM Press the 31st ACM SIGPLAN-SIGACT s

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Isomorphisms of generic recursive polynomial types

✍ Fiore, Marcelo 📂 Article 📅 2004 🏛 ACM Press 🌐 English ⚖ 167 KB

[ACM Press the 31st ACM SIGPLAN-SIGACT s

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Isomorphisms of generic recursive polynomial types

✍ Fiore, Marcelo 📂 Article 📅 2004 🏛 ACM Press 🌐 English ⚖ 167 KB