Author Andrea Tosatto
Supervisor Dr. Luca Padovani
Co-supervisor Prof. Viviana Bono

Abstract

For the achievement of my bachelor degree, I've developed a functional programming language that extends the lambda calculus with communication primitives based on the copyless message passing paradigm. We've also defined a type system for this language that can ensure the absence of communication errors, memory fault and memory leaks.

Tesi

Tesi