Dependent information flow types. (2015)

by Luísa Lourenço, Luís Caires
Venue:In POPL,