Semantics, Modularity, and Rewriting Logic
Open Access
- 1 January 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 15, 404-421
- https://doi.org/10.1016/s1571-0661(05)80026-x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Notions of computation and monadsInformation and Computation, 1991
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991