Login / Signup

Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures.

Gordon StewartAnindya BanerjeeAleksandar Nanevski
Published in: PPDP (2013)
Keyphrases