Higher-order logic programming
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 448-462
- https://doi.org/10.1007/3-540-16492-8_94
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Three approaches to type structureLecture Notes in Computer Science, 1985
- A polymorphic type system for prologArtificial Intelligence, 1984
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A unification algorithm for typedTheoretical Computer Science, 1975
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940