Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Exceeding the limits of polymorphism in database programming languages
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Type inference problems: a survey
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
Type inclusion constraints and type inference
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Type inference: some results, some problems
Fundamenta Informaticae - Special issue: lambda calculus and type theory
Soft typing with conditional types
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Typing record concatenation for free
Theoretical aspects of object-oriented programming
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Foundations of programming languages
Foundations of programming languages
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Basic simple type theory
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Understanding SQL's stored procedures: a complete guide to SQL/PSM
Understanding SQL's stored procedures: a complete guide to SQL/PSM
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Classification Abstraction: An Intrinsic Element in Database Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
On the Difference between Navigating Semi-structured Data and Querying It
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Proceedings of the 44th annual Southeast regional conference
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 13th International Conference on Database Theory
Eliminating the XML overhead in embedded XML languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |