A Type-theoretic Approach to Cloud Data Integration. - Pavel Shapkin; Gregory Pomadchin (WEBIST, 2015)