"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:

SML:
:: cons
[x1,...] list
[ ] list
@ append
fn =>  &lambda .
: has type
Compared

↑ © L. Allison, www.allisons.org/ll/   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Tuesday, 07-Jul-2020 08:34:57 EDT.

Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.