Asynchronous algebraic effects
Organization
Laboratory for Software Science
Abstract
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
Graduation Theses defence year
2024-2025
Supervisor
Danel Ahman
Spoken language (s)
Estonian, English
Requirements for candidates
Level
Bachelor, Masters
Keywords
Application of contact
Name
Danel Ahman
Phone
E-mail