Typing illegal information flows as program effects.

Ana Almeida Matos, Jos Fragoso Santos

Browse the full PLDI paper archive.