Back to Results
First PageMeta Content



From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) Simon Gay, University of Glasgow Philip Wadler, University of Edinburgh Nobuko Yoshida, Imperial College
Add to Reading List

Document Date: 2014-01-07 14:21:10


Open Document

File Size: 2,14 MB

Share Result on Facebook