TY  - RPRT
TI  - Type-based Declassification for Free
AU  - Minh Ngo
AU  - David A. Naumann
AU  - Tamara Rezk
PY  - 2020
UR  - https://arxiv.org/abs/1905.00922
ID  - 1905.00922
ER  -