activity
20192022
most citedConcrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)

3 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.PL2019★ 1 cited

Program Equivalence for Algebraic Effects via Modalities

Cristina Matache

This dissertation is concerned with the study of program equivalence and algebraic effects as they arise in the theory of programming languages. Algebraic effects represent impure…