Manzino, Cecilia, & Gonzalo de Latorre.
" A Haskell-Embedded DSL for Secure Information-Flow." <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (2023): 20-35. Web. 17 May. 2024