Function definitions in term rewriting and applicative programming
- 1 December 1986
- journal article
- Published by Elsevier in Information and Control
- Vol. 71 (3) , 186-217
- https://doi.org/10.1016/s0019-9958(86)80010-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- The algebraic specification of abstract data typesActa Informatica, 1978
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960