Using session types as an effect system Dominic Orchard Nobuko Yoshida Imperial College London, UK - Yoshida - Document - PDFSEARCH.IO

First Page	Meta Content
	Using session types as an effect system Dominic Orchard Nobuko Yoshida Imperial College London, UK Add to Reading List Document Date: 2015-10-30 16:15:01 Open Document File Size: 215,07 KB Share Result on Facebook

Using session types as an effect system Dominic Orchard Nobuko Yoshida Imperial College London, UKAdd to Reading List