A Type-theoretic Approach to Cloud Data Integration

@inproceedings{Shapkin2015ATA,
  title={A Type-theoretic Approach to Cloud Data Integration},
  author={Pavel Shapkin and Gregory Pomadchin},
  booktitle={WEBIST},
  year={2015}
}
We propose an architecture that helps to integrate data accessible via cloud application APIs. The central part of the platform is the domain ontology which is based on type theory. Typing is used to automate the building of integration solutions as well as for automatic verification of program code and compatibility between 
3 Citations

References

SHOWING 1-6 OF 6 REFERENCES
A translation approach to portable ontology specifications
  • 12,200
  • PDF
An Overview of the Scala Programming Language
  • 625
  • Highly Influential
  • PDF
A Survey of Extract-Transform-Load Technology
  • 141
Coercive Subtyping
  • Z. Luo
  • Computer Science
  • J. Log. Comput.
  • 1999
  • 118
Combinatory logic in programming
  • 2003
Introduction to Functional Programming
  • 4