A polymorphic type system for PROLOG.
Artificial Intelligence
Foundations of logic programming
Foundations of logic programming
A mechanical solution of Schubert's steamroller by many-sorted resolution
Artificial Intelligence
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
Journal of the ACM (JACM)
Journal of Symbolic Computation
Types, modules and databases in the logic programming language PROTOS-L
Proceedings of the workshop on Sorts and types in artificial intelligence
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Horn clause programs with polymorphic types: semantics and resolution
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Polymorphic Type System with Subtypes for Prolog
ESOP '88 Proceedings of the 2nd European Symposium on Programming
WAM Algebras - A Mathematical Study of Implementation, Part 2
Proceedings of the First Russian Conference on Logic Programming
Knowledge Based PPS Applications in PROTOS-L
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Types, Modularisation and Abstraction in Logic Programming
Proceedings of the International Workshop on Algebraic and Logic Programming
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Correctness Proof For the WAM with Types
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
| Hi-index | 0.00 |