Manzino, Cecilia, and Gonzalo de Latorre.
" A Haskell-Embedded DSL for Secure Information-Flow." <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.20-35.