Multiparty Session Type-safe Web Development with Static Linearity

King J, Ng N, Yoshida N
2019
Journal article
Journal:
Electronic Proceedings in Theoretical Computer Science
Volume:
291
,
Open Publishing Association
,
pp.
35 - 46
No abstract available
DOI
10.4204/eptcs.291.4