Cristina Matache

14 papers A* 1B 3Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories.
CoRR
Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2026 J jnl
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories.
Proc. ACM Program. Lang.
Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2025 J jnl
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.
ACM Trans. Program. Lang. Syst.
Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024 — conf
Scoped Effects as Parameterized Algebraic Theories.
ESOP (1)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024 J jnl
Scoped Effects as Parameterized Algebraic Theories.
CoRR
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2023 J jnl
Denotational semantics for languages for inference: semirings, monads, and tensors.
CoRR
Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
2022 J jnl
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction).
CoRR
Cristina Matache, Sean K. Moss, Sam Staton
2022 A* conf
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.
LICS
Cristina Matache, Sean K. Moss, Sam Staton
2021 B conf
Recursion and Sequentiality in Categories of Sheaves.
FSCD
Cristina Matache, Sean K. Moss, Sam Staton
2021 J jnl
Recursion and Sequentiality in Categories of Sheaves.
CoRR
Cristina Matache, Sean K. Moss, Sam Staton
2019 B conf
A Sound and Complete Logic for Algebraic Effects.
FoSSaCS
Cristina Matache, Sam Staton
2019 J jnl
Program Equivalence for Algebraic Effects via Modalities.
CoRR
Cristina Matache
2017 B conf
Programming and Proving with Classical Types.
APLAS
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
2017 J jnl
The LambdaMu-calculus.
Arch. Formal Proofs
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan