![](/img/cover-not-exists.png)
[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Iris
Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, DerekYear:
2015
Language:
english
DOI:
10.1145/2676726.2676980
File:
PDF, 974 KB
english, 2015