Graph-based Operational Semantics of a Lazy Functional Language (0)

by Kristoffer H. Rose, Kristoffer H. Rose
Venue:Term Graph Rewriting: Theory and Practice, chapter 22