|References to supplementary material||Documents|
For all you need to know about Standard ML, see Tips for Computer Scientists on Standard ML by Mads Tofte ps.gz, dvi.ZCML:
Reppy's papers and thesis on Concurrent ML are available from the CML web pagesFJ:
A paper on Featherweight Java is available online (under Object-Oriented Programming)
References to all major (and many minor) approaches to formal semantics are given in the new paper:
What Use Is Formal Semantics?available in pdf and ps.
Version 2, Tue 22 May 2001 15:00:04 [pdm] - created Sat 10 Mar 2001 11:24:50 [pdm]