Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations (1998)

by Husain Ibraheem , David A. Schmidt
Venue:In Second Workshop on Higher-Order Techniques in Operational Semantics (HOOTS2
Citations:4 - 0 self