A Type-theoretic Approach to Cloud Data Integration.

Pavel Shapkin, Gregory Pomadchin

Browse the full WEBIST paper archive.