A language for automatically enforcing privacy policies.

Jean Yang, Kuat Yessenov, Armando Solar-Lezama

Browse the full POPL paper archive.