Behavioral Types in Programming Languages (2016)

First Author: Yoshida N
Attributed to:  From Data Types to Session Types---A Basis for Concurrency and Distribution funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1561/2500000031

Publication URI: http://dx.doi.org/10.1561/2500000031

Type: Journal Article/Review

Parent Publication: Foundations and Trends® in Programming Languages

Issue: 2-3