1 - 2 / 2 1 |
1. Applications of algebraic effect theories Žiga Lukšič, 2020, doktorska disertacija Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics |
2. Efficient multishot algebraic effect handlers Filip Koprivec, 2024, doktorska disertacija Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics, optimizing compilation, polymorphic compilation, subtyping |