Gradual session types

TitleGradual session types
Publication TypeJournal Article
Year of Publication2017
AuthorsIgarashi, A., P. Thiemann, V. T. Vasconcelos, and P. Wadler
JournalProceedings of the ACM on Programming Languages
Volume1
Pagination38