Dynamic typing in a statically typed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Subtyping and assignment in database programming languages
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
IEEE Internet Computing
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
IEEE Internet Computing
Complex Data Transformations in Digital Libraries with Spatio-Temporal Information
ICADL 08 Proceedings of the 11th International Conference on Asian Digital Libraries: Universal and Ubiquitous Access to Information
A hybrid declarative/procedural metadata mapping language based on python
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Hi-index | 0.00 |
We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. In declarative scopes, data are trees and may be queried with the full flexibility associated with XML query algebras. In procedural scopes, data have more conventional structures, such as records and sets, and can be manipulated with the constructs normally found in mainstream languages.For its original form of structural polymorphism, the language offers integrated support for the development of hybrid applications over XML, where data change form to reflect programming expectations and enable their enforcement.