The following pages link to Cristina Matache (Q2289089):
Displaying 5 items.
- A sound and complete logic for algebraic effects (Q2289090) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- (Q6159941) (← links)
- Scoped Effects as Parameterized Algebraic Theories (Q6520403) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)
