A polymorphic type system for PROLOG.
Artificial Intelligence
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Proc. of a conference on Functional programming languages and computer architecture
Basic polymorphic typechecking
Science of Computer Programming
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)
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Views, data abstraction, and inheritance in the FUGUE data model
Lecture notes in computer science on Advances in object-oriented database systems
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
HiLog as a platform for database languages
Proceedings of the second international workshop on Database programming languages
Prolog and databases: implementations and new directions
Prolog and databases: implementations and new directions
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Functional Programming
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
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
A Prolog Interface to a Functional Data Model Database
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update
IEEE Transactions on Knowledge and Data Engineering
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Effective Deductive Object-Oriented Database Through Language Integration
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Database query languages and functional logic programming
New Generation Computing
Database manipulation in Haskell 1.3
FP'95 Proceedings of the 1995 international conference on Functional Programming
Hi-index | 0.01 |