Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 - Process calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 Add to Reading List Document Date: 2016-08-23 03:13:56 Open Document File Size: 452,73 KB Share Result on Facebook

Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2Add to Reading List