TY  - RPRT
TI  - First-order Gradual Information Flow Types with Gradual Guarantees
AU  - Abhishek Bichhawat
AU  - McKenna McCall
AU  - Limin Jia
PY  - 2021
UR  - https://arxiv.org/abs/2003.12819
ID  - 2003.12819
ER  -