Ana Almeida Matos, José Fragoso Santos. Typing illegal information flows as program effects. In Sergio Maffeis, Tamara Rezk, editors, Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012. pages 1, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.