The calculus of context relations
- 1 May 1991
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 28 (5) , 411-445
- https://doi.org/10.1007/bf01178581
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Inference-based overloading resolution for ADAPublished by Springer Nature ,2005
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Constraint logic programming languagesCommunications of the ACM, 1990
- Order-sorted unificationJournal of Symbolic Computation, 1989
- Boolean unification — The story so farJournal of Symbolic Computation, 1989
- Many-sorted unificationJournal of the ACM, 1988
- The relational model with relation-valued attributesInformation Systems, 1986
- On incremental evaluation of ordered attributed grammarsBIT Numerical Mathematics, 1983
- Ordered attributed grammarsActa Informatica, 1980
- A unification algorithm for typed