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.