Manzino, Cecilia, AND 		Latorre, Gonzalo.
" A Haskell-Embedded DSL for Secure Information-Flow" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2023)