Typing illegal information flows as program effects

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]

Bibliographies