Compositional Security Definitions for Higher-Order Where Declassification. - Jan Menz; Andrew K. Hirsch; Peixuan Li; Deepak Garg 001 (Proc. ACM Program. Lang., 2023)