logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11012023-111004


Tipo di tesi
Tesi di laurea magistrale
Autore
PAPPALARDO, GABRIELE
URN
etd-11012023-111004
Titolo
Extending Kotlin with Algebraic Effect Handlers
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Bruni, Roberto
Parole chiave
  • algebraic effect handlers
  • continuations
  • effects
  • Kotlin
  • programming languages
  • runtime
Data inizio appello
01/12/2023
Consultabilità
Completa
Riassunto
In recent years, Algebraic Effect Handlers have emerged as new computational models
to manage computation effects in programming languages. This model is linked to the
area of functional programming languages. The thesis will illustrate how it is possible to
adapt algebraic effect handlers into the multiparadigm Kotlin programming language
through the implementation of a library over continuations. This master thesis is the
result of a collaboration with JetBrains Research, which provided valuable insights and
support in implementing algebraic effect handlers in Kotlin.
File