Behavioral types in programming languages

TitleBehavioral types in programming languages
Publication TypeJournal Article
Year of Publication2016
AuthorsAncona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, F. Martins, V. T. Vasconcelos, and
JournalFoundations and Trends® in Programming Languages
Volume3
Pagination95–230