Functional logic languages part I
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 401-425
- https://doi.org/10.1007/3-540-18420-1_68
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- Functional programing and the logical variablePublished by Association for Computing Machinery (ACM) ,1985
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- The semantic elegance of applicative languagesPublished by Association for Computing Machinery (ACM) ,1981
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974