Laurea

Davoli, Davide (2020) Formalizzazione di una rappresentazione canonica dello sharing per la valutazione call-by-value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

De Santis, Stefano (2020) Compilazione, deployment e analisi statica di un linguaggio per distributed applications. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Polidori, Daniele (2020) Implementazione in un linguaggio logico con vincoli di ordine superiore della type inference di Haskell. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Laurea magistrale

Castiglioni, Marco (2020) Un confronto tra i linguaggi di programmazione per smart contract: Move e Solidity. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Lami, Pietro (2020) Estensione di un debugger reversibile per Erlang con feature imperative. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Nicoletti, Alberto (2020) Meta-programmazione di binding OCaml per GTK3. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Pascali, Andrea (2020) Implementazione di un Algoritmo su Grafi per la Conversione di λ-Termini. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento full-text non disponibile