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

First Page		Document Content
Date: 2014-01-19 22:47:15		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 Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 1,08 MB Share Document on Facebook