Cristina Matache
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESOP | Scoped Effects as Parameterized Algebraic Theories. | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
| 2022 | LICS | Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2021 | FSCD | Recursion and Sequentiality in Categories of Sheaves. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2019 | FOSSACS | A Sound and Complete Logic for Algebraic Effects. | Cristina Matache, Sam Staton |
| 2017 | APLAS | Programming and Proving with Classical Types. | Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |