1 - 3 / 3 1 |
1. Equality between programs with effects Niels Frits Willem Voorneveld, 2020, doctoral dissertation Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices |
2. Applications of algebraic effect theories Žiga Lukšič, 2020, doctoral dissertation Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics |
3. Efficient multishot algebraic effect handlers Filip Koprivec, 2024, doctoral dissertation Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics, optimizing compilation, polymorphic compilation, subtyping |