Programming and Proving with Classical Types. - Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan (APLAS, 2017)

The LambdaMu-calculus. - Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan (Arch. Formal Proofs, 2017)

A Sound and Complete Logic for Algebraic Effects. - Cristina Matache; Sam Staton (FoSSaCS, 2019)

Program Equivalence for Algebraic Effects via Modalities. - Cristina Matache (CoRR, 2019)

Recursion and Sequentiality in Categories of Sheaves. - Cristina Matache; Sean K. Moss; Sam Staton (FSCD, 2021)

Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. - Cristina Matache; Sean K. Moss; Sam Staton (LICS, 2022)

Denotational semantics for languages for inference: semirings, monads, and tensors. - Cristina Matache; Sean K. Moss; Sam Staton; Ariadne Si Suo (CoRR, 2023)

Scoped Effects as Parameterized Algebraic Theories. - Sam Lindley; Cristina Matache; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ESOP (1), 2024)

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. - Cristina Matache; Sam Lindley; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ACM Trans. Program. Lang. Syst., 2025)