Behavioral types in programming languages

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