Tutorial on Session Types at POPL 2014
BETTY members Nobuko Yoshida (Imperial College London, UK) and Vasco Vasconcelos (University of Lisbon, Portugal) will present a tutorial on "Principles and Practice of Session Types" at POPL 2014 in San Diego.
Further information is here.
COST is supported by the EU Framework Programme Horizon 2020