Specification=program+types
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 326-339
- https://doi.org/10.1007/3-540-18625-5_58
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Feature analysis of Turbo PrologACM SIGPLAN Notices, 1987
- Equivalences of logic programsPublished by Springer Nature ,1986
- Negation and quantifiers in NU-PrologPublished by Springer Nature ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Derivation of Logic ProgramsJournal of the ACM, 1981