• Publications
  • Influence
A Type-theoretic Approach to Cloud Data Integration
TLDR
An architecture that helps to integrate data accessible via cloud application APIs based on type theory is proposed that is used to automate the building of integration solutions and for automatic verification of program code and compatibility between APIs.