Shortcut Fusion of Monadic Programs. - Cecilia Manzino; Alberto Pardo (J. Univers. Comput. Sci., 2008)

A Security Types Preserving Compiler in Haskell. - Cecilia Manzino; Alberto Pardo (SBLP, 2014)

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. - Cecilia Manzino; Alberto Pardo (LSFA, 2020)

A Haskell-embedded DSL for secure information-flow. - Cecilia Manzino; Gonzalo de Latorre (Sci. Comput. Program., 2026)