PRINCIPLES AND PRACTICE OF SESSION TYPES Vasco T. Vasconcelos, University of Lisbon! and! Raymond Hu, Imperial College London A tutorial at POPL! - Vasconcelos - Document - PDFSEARCH.IO

First Page	Meta Content
	PRINCIPLES AND PRACTICE OF SESSION TYPES Vasco T. Vasconcelos, University of Lisbon! and! Raymond Hu, Imperial College London A tutorial at POPL! Add to Reading List Document Date: 2014-01-19 22:47:15 Open Document File Size: 1,08 MB Share Result on Facebook

PRINCIPLES AND PRACTICE OF SESSION TYPES Vasco T. Vasconcelos, University of Lisbon! and! Raymond Hu, Imperial College London A tutorial at POPL!Add to Reading List