Dependent Information Flow Types.

Lusa Loureno, Lus Caires

Browse the full POPL paper archive.