Polymorphic queries across sets, bags, and lists
ACM SIGPLAN Notices
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
A Data Transformation System for Biological Data Sources
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Enhanced abstract data types in object-relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
Kleisli, a functional query system
Journal of Functional Programming
Deciding well-definedness of XQuery fragments
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
On deciding well-definedness for query languages on trees
Journal of the ACM (JACM)
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
Bringing back monad comprehensions
Proceedings of the 4th ACM symposium on Haskell
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Higher-Order and Symbolic Computation
Well-definedness and semantic type-checking in the nested relational calculus and XQuery
ICDT'05 Proceedings of the 10th international conference on Database Theory
Structural recursion for querying ordered graphs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |