Index of /~lloyd/tildeFP/SML/1997/semantics.toy

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prog.fact.toy2017-02-21 14:03 183  
[   ]prog.loop.toy2017-02-21 14:03 61  
[   ]prog.scope.toy2017-02-21 14:03 136  
[   ]prog.write.toy2017-02-21 14:03 9  
[   ]toy.sml2017-02-21 14:03 557  
[   ]toySemantics.sml2017-02-21 14:03 5.5K 
[   ]toySyntax.sml2017-02-21 14:03 10K 

^home^ ^FP^ ^SML^ ^SML-97^

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

In sml:
use "toy.sml";
run "prog.fact.toy";
etc.
 
prog.*.toy   -- programs in the imperative language being defined.
 
Also see:
[in LML]
[denotational semantics]
[book]
LA 2005