GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Views, data abstraction, and inheritance in the FUGUE data model
Lecture notes in computer science on Advances in object-oriented database systems
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
Logic programming and databases
Logic programming and databases
Extending the functional data model to computational completeness
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Integrity checking methods in deductive databases: a comparative evaluation
BNCOD 7 Proceedings of the seventh British national conference on Databases
Proceedings of the second international workshop on Database programming languages
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Database programming languages: a functional approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Using powerdomains to generalize relational databases
Theoretical Computer Science
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Non-determinism in functional languages
The Computer Journal - Special issue on formal methods: part 1
On the expressive power of logic programming languages with sets
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
A Foundation for Evolution from Relational to Object Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Types for Data-Oriented Languages
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Design Overview of the NAIL! System
Proceedings of the Third International Conference on Logic Programming
Proceedings of the Thirteenth Spring School of the LITP on Combinators and Functional Programming Languages
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Integrity Constraint Enforcement in the Functional Database Language PFL
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |