Ebadi, H. and Sands, D. 2017. Featherweight PINQ. Journal of Privacy and Confidentiality. 7, 2 (Jan. 2017). DOI:https://doi.org/10.29012/jpc.v7i2.653.