A Haskell-Embedded DSL for Secure Information-Flow. - Cecilia Manzino; Gonzalo de Latorre (SBMF, 2023)