"Direct" denotational semantics of a toy imperative language expressed in (S)ML-97.

LA home
Computing
FP
 SML
  SML97

Also see:
den. semantics
In sml:
use "toy.sml";
run "prog.fact.toy";
etc.
 
prog.*.toy   -- programs in the imperative language being defined.
 
www

free:
Linux operating-sys
OpenOffice office-suite, ver. 3.1+
The GIMP ~photoshop
Firefox web browser
FlashBlock flash on/off

SML:
:: cons
[x1,...] list
[ ] list
@ append
fn =>  &lambda .
: has type
Compared
© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Friday, 03-Sep-2010 13:48:39 EST.