Manzino, C., & de Latorre, G. (2026). A Haskell-embedded DSL for secure information-flow. Science of computer programming, 247, 103351. https://doi.org/10.1016/j.scico.2025.103351
Chicago Style (17th ed.) CitationManzino, Cecilia, and Gonzalo de Latorre. "A Haskell-embedded DSL for Secure Information-flow." Science of Computer Programming 247 (2026): 103351. https://doi.org/10.1016/j.scico.2025.103351.
MLA (9th ed.) CitationManzino, Cecilia, and Gonzalo de Latorre. "A Haskell-embedded DSL for Secure Information-flow." Science of Computer Programming, vol. 247, 2026, p. 103351, https://doi.org/10.1016/j.scico.2025.103351.
Warning: These citations may not always be 100% accurate.