Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at POPL 2015

BETTY Papers at POPL 2015

Three papers by BETTY authors have been accepted for the POPL 2015 conference. Congratulations to all the authors!

From Communicating Machines to Graphical Choreographies. Julien Lange, Emilio Tuosto and Nobuko Yoshida.

Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. Giuseppe Castagna, Kim Nguyen, Zhiwu Xu and Pietro Abate.

Dependent Information Flow Types. Luísa Lourenço and Luís Caires.