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

Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski

Browse the full PPDP paper archive.