An operational semantics for meta and reflective GHC based on a simple formal expression framework - Shen, Han; Tanaka, Jiro (Research report, 1991)