Context-free session types

TitleContext-free session types
Publication TypeConference Paper
Year of Publication2016
AuthorsThiemann, P., and V. T. Vasconcelos
Conference NameProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
PublisherACM