Strictness analysis—a practical approach
Proc. of a conference on Functional programming languages and computer architecture
Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
Logic and computation: interactive proof with Cambridge LCF
Logic and computation: interactive proof with Cambridge LCF
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
An object-oriented query algebras
Proceedings of the second international workshop on Database programming languages
Optimizing and executing DAPLEX queries using Prolog
The Computer Journal - On concurrent logic programming
An introduction to functional programming
An introduction to functional programming
Managing persistent objects in a multi-level store
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Algebraic support for complex objects with arrays, identity, and inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
A transformation-based approach to optimizing loops in database programming languages
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A general framework for the optimization of object-oriented queries
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The mechanical transformation of data types
The Computer Journal - Special issue on database programming paradigms
A functional DBPL revealing high level optimizations
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
List Comprehensions in Agna, A Parallel Persistant Object System
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Algebraic Optimization of Object-Oriented Query Languages
ICDT '90 Proceedings of the Third International Conference on Database Theory
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Algebraic Properties of Bag Data Types
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A functional database (databases)
A functional database (databases)
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Hi-index | 0.00 |