The author presents a novel minimal-state operational semantics for functional languages, focusing on demand-driven approaches and program analysis.