Computing With Contexts A simple approach
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 10, 134-149
- https://doi.org/10.1016/s1571-0661(05)80694-2
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A foundation for actor computationJournal of Functional Programming, 1997
- Total correctness by local improvement in the transformation of functional programsACM Transactions on Programming Languages and Systems, 1996
- A theory of binding structures and applications to rewritingTheoretical Computer Science, 1993
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978