Cristina Matache -

Not registered as user

Name:Cristina Matache

Affiliation:University of Edinburgh

Contributions

2027

POPL

Committee Member in Program Committee within the POPL-track

2026

ICFP

Author in Program Committee within the ICFP Papers-track

POPL

Author of An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories within the POPL-track

2024

HOPE

Author of Paella: algebraic effects with parameters and their handlers within the HOPE 2024-track

GaLoP

Author of An algebraic theory of named threads (work in progress) within the GALOP 2024-track

2023

HOPE

Committee Member in Program Committee within the HOPE 2023-track

LAFI

Author of Denotational semantics of languages for inference: semirings, monads, and tensors within the LAFI 2023-track