BETTY Papers at POPL 2013
Two papers on BETTY topics will be presented at POPL 2013:
- Marco Carbone and Fabrizio Montesi:
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming - Luis Caires and Joao Seco:
The Type Discipline of Behavioral Separation
Congratulations to the authors!