Treffer: Borrowing from Session Types

Title:
Borrowing from Session Types
Authors:
Saffrich, Hannes, Spaderna, Janek, Thiemann, Peter, Vasconcelos, Vasco T.
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3426-3453
Availability:
http://dl.acm.org/doi/10.1145/3763173
Database:
ACM Full-Text Collection