"Direct" denotational semantics of a toy imperative language expressed in (S)ML-97. Please turn javascript on. also see: Semantics prog.fact.toy prog.loop.toy prog.scope.toy prog.write.toy toy.sml toySemantics.sml toySyntax.sml In sml: use "toy.sml"; run "prog.fact.toy"; etc. prog.*.toy -- programs in the imperative language being defined.