Asynchronous algebraic effects
Organisatsiooni nimi
Laboratory for Software Science
Kokkuvõte
Asynchronous algebraic effects [1,2] is an approach to accommodate asynchronous computations in a mathematically natural way in programming languages based on algebraic effects and effect handlers [4]. This approach is formalised in a core effectful lambda-calculus, equipped with a type-and-effect system, small-step operational semantics, and a prototype implementation [3].
A thesis in this area could involve studying further aspects of the meta-theory of the underlying core effectful lambda-calculus (e.g., by studying the normalisation properties of its sequential part), or extending the underlying core effectful lambda-calculus and the prototype implementation in new and exciting ways (e.g., by designing type system-based means to tame the current broadcast-everywhere communication policy; or by extending the calculus with general effect handlers, while preserving the predictable programming model).
[1] https://arxiv.org/abs/2003.02110
[2] https://arxiv.org/abs/2307.13795
[3] https://github.com/matijapretnar/aeff
[4] https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf
A thesis in this area could involve studying further aspects of the meta-theory of the underlying core effectful lambda-calculus (e.g., by studying the normalisation properties of its sequential part), or extending the underlying core effectful lambda-calculus and the prototype implementation in new and exciting ways (e.g., by designing type system-based means to tame the current broadcast-everywhere communication policy; or by extending the calculus with general effect handlers, while preserving the predictable programming model).
[1] https://arxiv.org/abs/2003.02110
[2] https://arxiv.org/abs/2307.13795
[3] https://github.com/matijapretnar/aeff
[4] https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf
Lõputöö kaitsmise aasta
2024-2025
Juhendaja
Danel Ahman
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
Kandideerimise kontakt
Nimi
Danel Ahman
Tel
E-mail