Cristina Matache

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Complex Objects

Natural Deduction

Denotational Semantics

Lambda Calculus

Top Venues

Publications

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
Denotational semantics for languages for inference: semirings, monads, and tensors. CoRR (2023)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. LICS (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction). CoRR (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. FSCD (2021)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. CoRR (2021)
Cristina Matache
Program Equivalence for Algebraic Effects via Modalities. CoRR (2019)
Cristina Matache, Sam Staton
A Sound and Complete Logic for Algebraic Effects. FoSSaCS (2019)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
Programming and Proving with Classical Types. APLAS (2017)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
The LambdaMu-calculus. Arch. Formal Proofs 2017 (2017)