A Dynamic Editor of Typed Data Transformations

@inproceedings{Ruban2016ADE,
  title={A Dynamic Editor of Typed Data Transformations},
  author={S. I. Ruban and Pavel Shapkin and Sergey V. Zykov},
  booktitle={KES},
  year={2016}
}

References

SHOWING 1-2 OF 2 REFERENCES
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.
Types and programming languages
TLDR
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.