@inproceedings{polikarpova:2020:lifty,
  title={Liquid Information Flow Control},
  author={Nadia Polikarpova and Deian Stefan and Jean Yang and Shachar Itzhaky and Travis Hance and Armando Solar-Lezama},
  booktitle={25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)},
  month={August},
  year={2020},
  organization={ACM}
}