Cristina Matache

According to our database, Cristina Matache authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Scoped Effects as Parameterized Algebraic Theories.

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

Proceedings of the Programming Languages and Systems, 2024

2023

Denotational semantics for languages for inference: semirings, monads, and tensors.

Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo

CoRR, 2023

2022

Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.

Cristina Matache, Sean K. Moss, Sam Staton

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Recursion and Sequentiality in Categories of Sheaves.

Cristina Matache, Sean K. Moss, Sam Staton

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2019

Program Equivalence for Algebraic Effects via Modalities.

Cristina Matache

CoRR, 2019

A Sound and Complete Logic for Algebraic Effects.

Cristina Matache, Sam Staton

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2017

The LambdaMu-calculus.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Arch. Formal Proofs, 2017

Programming and Proving with Classical Types.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017