A polymorphic type system for PROLOG.
Artificial Intelligence
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Data types and data structures
Data types and data structures
Perlog: a Prolog with persistence and modules
The Computer Journal
Or-parallel execution models of prolog
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Algebraic Specifications in Software Engineering
Algebraic Specifications in Software Engineering
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Logic and objects
Types in logic programming
A versatile module system for Prolog mapped to flat prolog
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
A theory of types and type inference in logic programming languages
A theory of types and type inference in logic programming languages
| Hi-index | 0.00 |