Contact information
position associate professor
at Università di Torino
Dipartimento di Informatica
address Corso Svizzera 185
10149 Torino
Italy
show on map
office 7 ex lab
e-mail
phone +39 011 670 6777
Skype CALL CHAT ADD
DBLP publications
Scholar citations
Recent updates

2 nov 2016 I'm serving as a PC member in ICALP'17 track B (Logic, Semantics, Automata and Theory of Programming).

25 oct 2016 The paper A Simple Library Implementation of Binary Sessions, detailing the internals of FuSe, has been accepted in the Journal of Functional Programming.

5 sep 2016 Released FuSe 0.6 with bug fixes and simplified resumption combinators.

21 jul 2016 The state-of-the-art report for WG3 of BETTY has been published in Foundations and Trends in Programming Languages.

4 jan 2016 Released Hypha 0.6.

Research More

My research focuses on programming languages, type systems, concurrency theory, distributed computing.

I'm coordinator of the FORMS research group at Dipartimento di Informatica, Università di Torino.

I chaired the Working Group on Programming Languages in the ICT COST Action IC1201 BETTY.

Publications More

Software More

FuSe: a lightweight OCaml implementation of binary sessions. It supports delegation, equi-recursive, polymorphic, context-free session types, session subtyping, and allows the OCaml compiler to perform session type checking and inference.

Hypha: a type reconstruction tool for the linear π-calculus featuring linearity analysis on composite regular types, session type reconstruction, deadlock and lock freedom analysis.

Insegnamento it Altro

Corso di Laurea in Informatica

Il ricevimento studenti avviene su appuntamento previa richiesta via e-mail.

Attività istituzionali it

Open Access (referente Dipartimento di Informatica)

Risorse bibliografiche (membro commissione)

Studenti collaboratori (membro commissione)

Arturo
Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Sun, 20 Nov 2016.Flag Counter