Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS - Dominique - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-10-04 11:31:53		Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2 Add to Reading List Source URL: proglang.informatik.uni-freiburg.de Download Document from Source Website File Size: 256,13 KB Share Document on Facebook