A bottom-up polymorphic type inference in logic programming
- 31 December 1992
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 19 (3) , 281-313
- https://doi.org/10.1016/0167-6423(92)90038-d
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Compositional analysis of modular logic programsPublished by Association for Computing Machinery (ACM) ,1993
- A type system for logic programsThe Journal of Logic Programming, 1991
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Enumeration of success patterns in logic programsTheoretical Computer Science, 1984
- A polymorphic type system for prologArtificial Intelligence, 1984
- Polymorphic type inferencePublished by Association for Computing Machinery (ACM) ,1983
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976