D

Drusiani, Alberto (2021) Conversione in OCaml della libreria ocaml-gi-gtk. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

G

Grossi, Luigi (2021) Progettazione e implementazione di un'architettura per supportare l'interoperabilità tra Erlang e Akka. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.

Guazzaloca, Mattia (2021) Calcolo del Cost Model Esatto di un Programma in Solidity. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

S

Sani, Giovanni (2021) Formalizzazione delle proprietà di macchine per la call-by-value in forma normale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.