Design and implementation of a generic, logic and functional programming language
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 119-132
- https://doi.org/10.1007/3-540-16442-1_9
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Incremental construction of unification algorithms in equational theoriesPublished by Springer Nature ,2006
- Handling function definitions through innermost superposition and rewritingPublished by Springer Nature ,1985
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Parameter passing in algebraic specification languagesTheoretical Computer Science, 1983
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965