Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs.

A. I. Domracheva, Pavel A. Shapkin

Browse the full KES paper archive.