![](/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 - Dependent Information Flow Types
Lourenço, Luísa, Caires, LuísYear:
2015
Language:
english
DOI:
10.1145/2676726.2676994
File:
PDF, 943 KB
english, 2015